Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /

Saved in:
Bibliographic Details
Main Author: Courcoubetis, Costas
Corporate Author: Proceedings Greece, Elounda
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 1993
Edition:[1st ed.]
Series:Lecture notes in computer science Vol. 697
Subjects:
overovanie > hardware > analýza systémov v reálnom čase > čiastočné usporiadanie > symetria
ISBN:3540569227
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:IX, 504 s. : grafy, lit., obr., tab. ;
ISBN:3540569227

Similar Items