Cover Image

Verification of digital and hybrid systems /

Show other versions (1)
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.
Search Result 1
Cover Image
Published 2000
Connect to the full text of this electronic book
Conference Proceeding eBook
Show all versions (2)