Deciding Global Partial-Order Properties

Author： Alur Rajeev   McMillan Ken   Peled Doron  

Publisher： Springer Publishing Company

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.26, Iss.1, 2005-01, pp. : 7-25

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

Partial-order reduction and trail improvement in directed model checking

By Edelkamp Stefan   Leue Stefan   Lluch-Lafuente Alberto  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 277-301

Springer Publishing Company

Access to resources Recommend Favorite

MACHINE LEARNING IN HYBRID HIERARCHICAL AND PARTIAL-ORDER PLANNERS FOR MANUFACTURING DOMAINS

By Fernández Susana   Aler Ricardo   Borrajo Daniel  

Applied Artificial Intelligence, Vol. 19, Iss. 8, 2005-09 ,pp. : 783-809

Taylor & Francis Ltd

Access to resources Recommend Favorite

Introduction: Special Issue on Partial Order in Formal Methods

By Peled Doron  

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

Springer Publishing Company

Access to resources Recommend Favorite

Partial order semantics for use case and task models

By Sinnig Daniel  

Formal Aspects of Computing, Vol. 23, Iss. 3, 2011-05 ,pp. : 307-332

Springer Publishing Company

Access to resources Recommend Favorite

Second-Order Global Optimality Conditions for Optimization Problems

By Yang X.  

Journal of Global Optimization, Vol. 30, Iss. 2-3, 2004-11 ,pp. : 271-284

Springer Publishing Company

Access to resources Recommend Favorite