|
1.
|
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by
- Clarke, E. M, 1945-
- Grumberg, Orna
- Peled, Doron A, 1962-
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, Mass. : MIT Press, c1999
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.21 CLM, ...
|
|
2.
|
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors. by
- CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)
- Clarke, E. M, 1945-
- Kurshan, R. P, 1943-
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 3.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Providence, RI : Baltimore, Md. : American Mathematical Society ; Association for Computing Machinery, 1991
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.3815 CLC, ...
|