Author： Vardhan Abhay Viswanathan Mahesh
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.31, Iss.1, 2007-08, pp. : 35-61
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Limitations of restricted branching in clause learning
By Järvisalo Matti Junttila Tommi
Constraints, Vol. 14, Iss. 3, 2009-09 ,pp. :
Access to resources
Recommend
Branching time and orthogonal bisimulation equivalence
By Bergstra J.A. Ponse A. van der Zwaag M.B.
Theoretical Computer Science, Vol. 309, Iss. 1, 2003-12 ,pp. :
Time–Space Tradeoffs for Branching Programs
By Beame P. Jayram T.S. Saks M.
Journal of Computer and System Sciences, Vol. 63, Iss. 4, 2001-12 ,pp. :
Branching time controllers for discrete event systems
Theoretical Computer Science, Vol. 274, Iss. 1, 2002-03 ,pp. :