Temporal logics and model checking for fairly correct systems (2006)

Cached

Download Links

by Daniele Varacca
Venue:In Proc. 21st Ann. Symp. Logic in Computer Science (LICS’06
Citations:7 - 2 self