Practical Model-Checking Using Games (1998)

Cached

Download Links

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