Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Hi-index | 0.00 |