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:9 - 4 self