DMCA

Model checking for abstract state machines (1997)

Cached

Download Links

by Kirsten Winter
Venue:Journal of Universal Computer Science
Citations:34 - 8 self