Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Kai Zhao
Publications
Model Checking Mutual Inclusion and Mutual Exclusion Algorithms
Kai Zhao
,
Venkat 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-2023 easychair.org. All rights reserved.
