Functionals for the Semantic Specification of Temporal Formulas for Model Checking Raymond Boute and Hannes Verlinde INTEC, Ghent University, Belgium, , WWW home page:

First Page		Document Content
Date: 2011-12-02 06:09:30		Functionals for the Semantic Specification of Temporal Formulas for Model Checking Raymond Boute and Hannes Verlinde INTEC, Ghent University, Belgium, , WWW home page: Add to Reading List Source URL: www.funmath.be Download Document from Source Website File Size: 158,08 KB Share Document on Facebook