On the Construction of Monitors for Temporal Logic Properties

By Geilen M.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 2, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite

On Stubborn Sets in the Verification of Linear Time Temporal Properties

By Varpaaniemi Kimmo  

Formal Methods in System Design, Vol. 26, Iss. 1, 2005-01 ,pp. : 45-67

Springer Publishing Company

Access to resources Recommend Favorite

Image acquisition using aperture controladapted to spatio-temporal properties

By Huber Reinhold  

Machine Vision and Applications, Vol. 15, Iss. 4, 2004-10 ,pp. : 204-215

Springer Publishing Company

Access to resources Recommend Favorite

Temporal evolution of mechanical properties of skeletal tissue regeneration in rabbits: an experimental study

By Moukoko Didier   Pithioux Martine   Chabrand Patrick  

Medical & Biological Engineering & Computing, Vol. 45, Iss. 10, 2007-10 ,pp. : 989-995

Springer Publishing Company

Access to resources Recommend Favorite

Past is for free: on the complexity of verifying linear temporal properties with past

By Markey Nicolas  

Acta Informatica, Vol. 40, Iss. 6-7, 2004-05 ,pp. : 431-458

Springer Publishing Company

Access to resources Recommend Favorite