Linear Temporal Logic: Expressiveness and Model Checking

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	STREJČEK Jan
Year of publication	2005
Type	Monograph
MU Faculty or unit	Faculty of Informatics
Citation
Related projects:	Highly Parallel and Distributed Computing Systems