Searching for "On Expressive and Model Checking Power of Propositional Program Logics." – 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.

On expressive and model checking power of propositional program logics
by N. V. Shilov, K. Yi — PSI’01, LNCS 2244 (2001
…On Expressive and Model Checking Power of Propositional Program Logics (extended abstract of a…
Cited by 1 (0 self) – Add To MetaCart

Workshop on Automata and Finite Model Theory
by Helsinki Under Auspices, Organizers Lauri Hella, Juhani Karhumki, Kerkko Luosto, Dietmar Berwanger, Erich Gritdel, Mathematische Grundlagen Der Informatik, Rwth Aachen
…-dimensional structures. On Expressive and Model Checking Power of Propositional Program Logics in Finite Models…
Add To MetaCart

Showing 1 through 2.

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