2009/01/01 by Joakim Byg, Kenneth Yrke Jørgensen, Jǐŕı Srba +1 · 1 citation
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Petri Nets in System Modeling
paper · doi:10.1007/978-3-642-10373-5_36
crossref issued 2009/01/01 · crossref published 2009/01/01 · crossref published-print 2009/01/01 · openalex publication_date 2009/01/01 · crossref created 2009/11/16 · crossref deposited 2020/11/24 · crossref indexed 2025/06/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29