Tools and algorithms for the construction and analysis of systems first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers

Podrobná bibliografie
Další autoři: Brinksma, Ed
Médium: Kniha
Jazyk:English
Vydáno: Berlin Springer c1995.
Edice:Lecture notes in computer science 1019
Témata: