Generalized nondeterministic finite automaton - Document - PDFSEARCH.IO

First Page	Meta Content
	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Document Date: 2012-02-10 07:43:07 Open Document File Size: 213,12 KB Share Result on Facebook

UPDATE

Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List