DMCA

Model checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker (2007)

by Pavel Parizek , Frantisek Plasil , Jan Kofron
Venue:PathFinder and Behavior Protocol Model Checker, Proceedings of SEW’06, IEEE CS
Citations:26 - 9 self