HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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-2025 easychair.org. All rights reserved.