Brinksma, Ed
[Sonstige Person, Familie und Körperschaft];
Cleaveland, Walter R.
[HerausgeberIn];
Larsen, Kim Guldstrand
[HerausgeberIn];
Margaria-Steffen, Tiziana
[HerausgeberIn];
Steffen, Bernhard
[HerausgeberIn]
;
TACAS 1 1995 Århus
Tools and algorithms for the construction and analysis of systems
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Tools and algorithms for the construction and analysis of systems
:
first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers