Before and after vacuity

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.34, Iss.1, 2009-02, pp. : 37-58

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Russian Cadastral Surveys Before and After Peter the Great

By Karimov Alexei

The Cartographic Journal, Vol. 36, Iss. 2, 1999-12 ,pp. : 125-132

Maney Publishing

Access to resources Recommend Favorite

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

After the Internet, Before Democracy: Competing Norms in Chinese Media and Society

By Navarria Giovanni

Information, Communication and Society, Vol. 16, Iss. 7, 2013-09 ,pp. : 1196-1198

Routledge Ltd

Access to resources Recommend Favorite

Motif discovery and transcription factor binding sites before and after the next-generation sequencing era

By Zambelli Federico Pesole Graziano Pavesi Giulio

Briefings in Bioinformatics, Vol. 14, Iss. 2, 2013-03 ,pp. : 225-237

Oxford University Press

Access to resources Recommend Favorite

BEFORE STABILIZATION

By Plesner Ursula

Information, Communication and Society, Vol. 16, Iss. 7, 2013-09 ,pp. : 1115-1138

Routledge Ltd

Access to resources Recommend Favorite