Verification of digital and hybrid systems /

Bibliographic Details
Corporate Authors:	North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on Verification of Digital and Hybrid Systems
Other Authors:	Inan, M. Kemal, 1942-, Kurshan, R. P., 1943-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2000]
Series:	NATO ASI series. Computer and systems sciences ; no. 170.
Subjects:	Computer systems > Verification.

Remote Storage