Originalsprog | Engelsk |
---|---|
Tidsskrift | Formal Methods in System Design |
Vol/bind | 18 |
Udgave nummer | 1 |
Sider (fra-til) | 5-23 |
ISSN | 0925-9856 |
Status | Udgivet - 2001 |
Verification of Large State/Event Systems using Compositionality and Dependency Analysis
J. Lind-Nielsen, H. R. Andersen, H. Hulgaard, Gerd Behrmann, K. J. Kristoffersen, Kim Guldstrand Larsen
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
22
Citationer
(Scopus)