SHELLEY: A Framework for Model Checking Call Ordering on Hierarchical Systems

AuthID
 P-00Z-54J
3
Author(s)
de Ferro, CM
·
Cogumbreiro, T
·
2
Editor(s)
Jongmans,SS;Lopes,A
Document Type
Proceedings Paper
Year published
2023
Published
in Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings in Lecture Notes in Computer Science
Volume: 13908, Pages: 93-114
Indexing
Dblp®/en/publications/view/1021074
Publication Identifiers
DBLP: conf/coordination/FerroCM23
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service