Tools and Algorithms for the Construction and Analysis of Systems

E. (Ed.) Brinksma, W. R. (Ed.) Cleaveland, Kim Guldstrand Larsen, T. (Ed.) Margari, Arne (Ed.) Skou, B. (Ed.) Steffen

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
Udgivelses stedBerlin
ForlagIEEE Computer Society Press
ISBN (Trykt)3540606300
StatusUdgivet - 1995
NavnLecture Notes in Computer Science
Nummer1019
ISSN0302-9743

Bibliografisk note

Appeared Earlier as Brics Notes Series NS-95-2
Appeared Earlier as Brics Notes Series NS-95-2

Citationsformater

Brinksma, E. E. ., Cleaveland, W. R. E. ., Larsen, K. G., Margari, T. E. ., Skou, A. E. ., & Steffen, B. E. . (1995). Tools and Algorithms for the Construction and Analysis of Systems. IEEE Computer Society Press. Lecture Notes in Computer Science, Nr. 1019