Вы здесь

Главная

мю-исчисление

Связанные издания:

A Checker for Modal Formulae for Processes with Data
Computer Science Logic: Proc./22nd International Workshop, CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, September 2008
Computer Science Logic: Proc./23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 2009
Concurrency, Specification, and Programming - CS&P 2004: Vol. 2: Specification and Verification: Proc./Workshop. Caputh, September 24-26, 2004
Data-Flow Analysis as Model-Checking Within the jABC
Designing tableau-like axiomization for Propositional Linear Temporal Logic at home of Arthur Prior
Distributed On-the-Fly Model Checking and Test Case Generation
"Don t Know" in the Mu-Calculus
Lineae and Branching Metrics for Quantitative Transition Systems
Logic, Language, Information and Computation: Proc./17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 2010
Mathematical Foundations of Computer Science 2010: Proc./35th International Symposium, MFCS 2010, Brno, Czech Republic, August 2010
Model-checking mu-Calculus in Well-Structured Transition Systems
Model Checking Software: Proc./15th International SPIN Workshop. LA, USA, August 2008
Term Rewriting and Applications: Proc./18th International Conference, RTA 2007. Paris, France, June 2007
Trandfinite Extension of the Mu-Calculus
Well-Structured Model Checking of Multiagent Systems