Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Kai Zhao
Publications
Model Checking Mutual Inclusion and Mutual Exclusion Algorithms
Kai Zhao
,
Venkata Siva Kumar Margapuri
and
Mitchell Neilsen
In
:
Proceedings of ISCA 30th International Conference on Software Engineering and Data Engineering
Keyphrases
ETL
,
mutual exclusion
,
mutual inclusion
,
Token based model checking
,
UPPAAL
.
Copyright © 2012-2024 easychair.org. All rights reserved.
