Mec 5

swMATH20095MaRDI QIDQ31917FDOQ31917

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Mec 5