Exploiting resolution proofs to speed up LTL vacuity detection for BMC

By Simmonds Jocelyn   Davies Jessica   Gurfinkel Arie   Chechik Marsha  

International Journal on Software Tools for Technology Transfer, Vol. 12, Iss. 5, 2010-09 ,pp. : 319-335

Springer Publishing Company

Access to resources Recommend Favorite

Removing obstacles when implementing inter-organisational information systems

By Halonen Raija  

International Journal of Information Technology and Management, Vol. 10, Iss. 2-3, 2011-09 ,pp. : 192-207

Inderscience Publishers

Access to resources Recommend Favorite

A Formalism for Representing and Reasoning with Temporal Information, Event and Change

By Obeid Nadim  

Applied Intelligence, Vol. 23, Iss. 2, 2005-10 ,pp. : 109-119

Springer Publishing Company

Access to resources Recommend Favorite

Information-statistical approach for temporal-spatial data with application

By Sy B.K.   Gupta A.K.  

Engineering Applications of Artificial Intelligence, Vol. 15, Iss. 2, 2002-04 ,pp. : 177-191

Elsevier

Access to resources Recommend Favorite

Temporal and Event Information in Natural Language Text

By Pustejovsky James   Knippen Robert   Littman Jessica   Saurí Roser  

Language Resources and Evaluation, Vol. 39, Iss. 2-3, 2005-05 ,pp. : 123-164

Springer Publishing Company

Access to resources Recommend Favorite