Transition Systems and Linear-Time Properties Part - Software and Systems Modeling - Document - PDFSEARCH.IO

First Page	Meta Content
	Transition Systems and Linear-Time Properties Part #1 of Logic and Verification Joost-Pieter Katoen Software Modeling and Veriﬁcation Group RWTH Aachen University MOVEP 2014, University of Nantes, July 7, 2014 Add to Reading List Document Date: 2015-11-09 04:09:22 Open Document File Size: 1.016,39 KB Share Result on Facebook

Transition Systems and Linear-Time Properties Part #1 of Logic and Verification Joost-Pieter Katoen Software Modeling and Veriﬁcation Group RWTH Aachen University MOVEP 2014, University of Nantes, July 7, 2014Add to Reading List