Verification of large state/event systems using compositionality and dependency analysis

Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre Kristoffersen, Kim Guldstrand Larsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

19 Citationer (Scopus)
OriginalsprogEngelsk
TitelTools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, 28 March-4 April 1998, Lisbon, Portugal
RedaktørerBernhard Steffen
ForlagIEEE Computer Society Press
Publikationsdato1998
Sider201-216
ISBN (Trykt)978-3-540-64356-2
ISBN (Elektronisk)978-3-540-69753-4
DOI
StatusUdgivet - 1998
NavnLecture Notes in Computer Science
Vol/bind1384
ISSN0302-9743

Citationsformater