Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5899066
DOI10.1007/11691372zbMath1180.68115OpenAlexW2739785336MaRDI QIDQ5899066
Andrzej S. Murawski, Dan R. Ghica
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11691372
Related Items (9)
Game Semantics in the Nominal Model ⋮ Verifying annotated program families using symbolic game semantics ⋮ Latent semantic analysis of game models using LSTM ⋮ Program verification using symbolic game semantics ⋮ Leafy automata for higher-order concurrency ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ Compositional Predicate Abstraction from Game Semantics ⋮ On-the-Fly Techniques for Game-Based Software Model Checking ⋮ Handshake Games
Uses Software
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems
