search result

Cover von Computer aided verification
3rd international workshop : Aalborg, Denmark, July 1991 : proceedings
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 575
Media group: MONOGRAPHIE
OPEN V 11.1.0.0