Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 1995 |
Sprache | Englisch |
Identifikator | ISSN: 0909-3206 urn:nbn:de:swb:90-AAA3694965 KITopen-ID: 369496 |
Erschienen in | Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Aarhus, Denmark 1995. Ed.: U.H. Engberg |
Verlag | University of Aarhus |
Seiten | 319-333 |
Serie | BRICS. Notes series NS ; 95,2 |