Normal view MARC view ISBD view

Formalization and model checking of live sequence charts (R)

Prasad, Prajish

Formalization and model checking of live sequence charts (R) - - Mumbai IIT 2012 - iii,45 p. 30 cm - .

ISBN:

Subjects--Topical Terms:
Krishna, S.N. and Pandya, Paritosh K.
Theses and Dissertations
Electronic data processing-Distributed processing , Computer multitasking

Universal Decimal Class. No.: 043:681.327.8Pra

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)