Practical Model-Checking Using Games (1998)

Cached

Download Links

by Perdita Stevens , Colin Stirling
Venue:Lecture
Citations:29 - 0 self