Searching for "Bisimulation, Modal Logic and Model Checking Games." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Bisimulation, Modal Logic and Model Checking Games
by Colin Stirling — 1999
…Bisimulation, Modal Logic and Model Checking Games Colin Stirling, Division of Informatics…
Cited by 11 (0 self) – Add To MetaCart

Logic Journal
by Of The Editor-In-Chief, Dov M. Gabbay, Ruy De Queiroz, Hans J Urgen Ohlbach, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Saharon Shelah, Johan Van Benthem
… A. Montanari, A. Peron and A. Policriti 103 Bisimulation, Modal Logic and Model Checking Games C…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB