Satisfiability of Viability Constraints for Pfaffian Dynamics

DOI10.1007/978-3-540-70881-0_23zbMath1185.68447OpenAlexW1810774822MaRDI QIDQ3401952

Nikolaj N. jun. Vorob'ev, Margarita Korovina

Publication date: 2 February 2010

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70881-0_23

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Symbolic dynamics (37B10)

This page was built for publication: Satisfiability of Viability Constraints for Pfaffian Dynamics