Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking

Authors:
Dennis Dams;Rob Gerth;Stefan Leue;Mieke Massink
Affiliations:
-;-;-;-
Venue:
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Year:
1999

Citing 0
Cited 2

Using XML to implement abstraction for Model Checking

Proceedings of the 2002 ACM symposium on Applied computing
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)

Proceedings of the 9th International SPIN Workshop on Model Checking of Software

Quantified Score

Hi-index	0.00

Visualization

Abstract