A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION
From MaRDI portal
Publication:3021982
DOI10.1142/S0129054102001412zbMATH Open1066.68076MaRDI QIDQ3021982FDOQ3021982
Antonella Santone, Nicoletta De Francesco
Publication date: 22 June 2005
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Cites Work
Cited In (4)
This page was built for publication: A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3021982)