MetiTarski’s Menagerie of Cooperating Systems

DOI10.1007/978-3-642-40885-4_1zbMath1397.68160OpenAlexW185977500MaRDI QIDQ2849476

Lawrence Charles Paulson

Publication date: 20 September 2013

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40885-4_1

Mathematics Subject Classification ID

Uses Software

• Unnamed Item
• Unnamed Item
• Unnamed Item
• PVS
• KeYmaera
• NuSMV
• z3
• Analytica

This page was built for publication: MetiTarski’s Menagerie of Cooperating Systems