Games and Model Checking for Guarded Logics (2000)

Cached

Download Links

by Dietmar Berwanger , Erich Grädel
Venue:IN PROCEEDINGS OF LPAR 2001, LECTURE NOTES IN COMPUTER SCIENCE NR. 2250
Citations:10 - 4 self