Normal view MARC view ISBD view

BOUNDED MODEL CHECKING FOR CLIENT SERVER SYSTEMS WITH UNBOUNDED CLIENTS

KESHAV R

BOUNDED MODEL CHECKING FOR CLIENT SERVER SYSTEMS WITH UNBOUNDED CLIENTS - 82

Subjects--Topical Terms:
CLIENT SERVER SYSTEM