On the complexity of partial order trace model checking
From MaRDI portal
Publication:963347
DOI10.1016/j.ipl.2007.10.013zbMath1186.68299OpenAlexW1985465033MaRDI QIDQ963347
Thierry Massart, Laurent Van Begin, Cédric Meuter
Publication date: 19 April 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.7774
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Cites Work