Intuitionistic LTL and a New Characterization of Safety and Liveness Patrick Maier MPI–I–2004–2–002

First Page		Document Content
Date: 2013-12-19 07:07:15		Intuitionistic LTL and a New Characterization of Safety and Liveness Patrick Maier MPI–I–2004–2–002 Add to Reading List Source URL: www.dcs.gla.ac.uk Download Document from Source Website File Size: 155,41 KB Share Document on Facebook