Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Year		Title	BibTeX cite key
Lang, van der Torre, Weydert
Lee
Lee, Plaisted
Letz, Stenz
Letz, Weidenbach
Leven
Levy, Veanes
Lilith, Billington, Freiheit
Löchner, Hillenbrand
Lu, Wu
Madden
Madden, Bundy
Madden, Bundy, Smaill
Madden, Green
Maier
	2004		Intuitionistic LTL and a New Characterization of Safety and Liveness	Maier2004
	2004		Intuitionistic LTL and a New Characterization of Safety and Liveness In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 295-309	Maier2004
	2003		A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning Universität des Saarlandes	Maier2003
	2003		Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 343-357	Maier2003a
	2002		A Framework for Circular Assume-Guarantee Rules In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58	Maier2002
	2001		A Set-Theoretic Framework for Assume-Guarantee Reasoning In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001), 821-834	Maier2001
Makinson, van der Torre
Malkis, Podelski, Rybalchenko
Matthews
Matthews, Basin
Matthews, Simpson
Matthews, Smaill, Basin
Meter
Meyer
Meyer, Faber, Rybalchenko

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)