Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
- 1 January 2000
- journal article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 2 (4) , 343-349
- https://doi.org/10.1007/s100090050041
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: