Attributed Point-to-Point Communication in R-CHECK
Paper i proceeding, 2024
Concurrency
model checking
Författare
Yehia Abd Alrahman
Chalmers, Data- och informationsteknik, Formella metoder
Shaun Azzopardi
Chalmers, Data- och informationsteknik, Formella metoder
Luca Di Stefano
Chalmers, Data- och informationsteknik, Formella metoder
Nir Piterman
Chalmers, Data- och informationsteknik, Formella metoder
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 15220978-3-031-75106-6 (ISBN)
Crete, Greece,
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
DOI
10.1007/978-3-031-75107-3_20