Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes Ulrich Sch¨ opp and Alex Simpson LFCS, Division of Informatics, University of Edinburgh - Simpson University - Document - PDFSEARCH.IO

First Page	Meta Content
	Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes Ulrich Sch¨ opp and Alex Simpson LFCS, Division of Informatics, University of Edinburgh Add to Reading List Document Date: 2005-11-20 08:43:19 Open Document File Size: 267,36 KB Share Result on Facebook

Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes Ulrich Sch¨ opp and Alex Simpson LFCS, Division of Informatics, University of EdinburghAdd to Reading List