Period of time: 2013年3期
Publisher: Springer Publishing Company
Founded in: 1992
Total resources: 27
ISSN: 0925-9856
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Formal Methods in System Design,volume 29,issue 3
Menu
Question-guided stubborn set methods for state properties
By Kristensen L.,Schmidt K.,Valmari A. in (2006)
Formal Methods in System Design,volume 29,issue 3 , Vol. 29, Iss. 3, 2006-11 , pp.Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
By Ölveczky Peter,Meseguer José,Talcott Carolyn in (2006)
Formal Methods in System Design,volume 29,issue 3 , Vol. 29, Iss. 3, 2006-11 , pp.Data structures for symbolic multi-valued model-checking
By Chechik Marsha,Gurfinkel Arie,Devereux Benet,Lai Albert,Easterbrook Steve in (2006)
Formal Methods in System Design,volume 29,issue 3 , Vol. 29, Iss. 3, 2006-11 , pp.