|
|
|
|
|
|
|
Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings by Courcoubetis, Costas, Ed. Series: Lecture notes in computer science ; 00697Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Model Checking by Clarke, Edmund M | Grumberg, Orna | Peled. Doron A. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CLA.
|
|
|
|
Temporal Verification of Reactive Systems Safety by Manna, Zohar | Pnueli, Amir. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAN.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings by Dams, Dennis | Gerth, Rob | Leue, Stefan Eds. Series: Lecture notes in computer science ; 01680Material type: Text;Language: ; Format:
print
Publication details: Berlin ; Springer-Verlag ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|