Verification: Theory and Practice
From MaRDI portal
Publication:5305653
DOI10.1007/b12001zbMath1274.68022MaRDI QIDQ5305653
Ugo Montanari, Rocco De Nicola, Emilio Tuosto, Gian-Luigi Ferrari, Rosario Pugliese
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
68Q60: Specification and verification (program logics, model checking, etc.)
68M14: Distributed systems
Related Items
Quantitative \(\mu\)-calculus and CTL defined over constraint semirings, Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming