You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Distributed BDD-Based Model Checking : Invited Presentation at the 10th International Workshop on Parallel and Distributed Methods in verifiCation
:
Invited Presentation at the 10th International Workshop on Parallel and Distributed Methods in verifiCation
Contributor:
Grumberg, Orna
Published:
Open Publishing Association, 2011
Published in:
Electronic Proceedings in Theoretical Computer Science, 72 (2011), Seite 29-29