Converting Linear-Time Temporal Logic to Generalized Büchi Automata

From MaRDI portal


MaRDI QIDQ7361954FDO


Authors Alexander Schimpf, Peter Lammich

Publication date 28 May 2014






Cited in
(1)


This page was built for software: Converting Linear-Time Temporal Logic to Generalized Büchi Automata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Converting_Linear-Time_Temporal_Logic_to_Generalized_Büchi_Automata&oldid=105369530"
Powered by MediaWiki