A Definitional Encoding of TLA* in Isabelle/HOL

From MaRDI portal


MaRDI QIDQ7361717FDO


Authors Gudmund Grov, Stephan Merz

Publication date 19 November 2011



Cites work





This page was built for software: A Definitional Encoding of TLA* in Isabelle/HOL

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_Definitional_Encoding_of_TLA*_in_Isabelle/HOL&oldid=105368282"
Powered by MediaWiki