Mec 5

MaRDI QIDQ31917swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/978-3-540-27813-9_43

Cited in

(6)

• Inf-datalog, Modal Logic and Complexities
• TVT
• Concurrency Workbench
• VERSA
• mCRL
• Computer Aided Verification

This page was built for software: Mec 5