Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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	Type
2	Lang, van der Torre, Weydert
2	Lee
2	Lee, Plaisted
1	Letz, Stenz
1	Letz, Weidenbach
1	Leven
1	Levy, Veanes
1	Lilith, Billington, Freiheit
1	Löchner, Hillenbrand
1	Lu, Wu
3	Madden
1	Madden, Bundy
1	Madden, Bundy, Smaill
1	Madden, Green
6	Maier
		2004		Intuitionistic LTL and a New Characterization of Safety and Liveness	Report
		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	Proceedings Article
		2003		A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning Universität des Saarlandes	Thesis - PhD thesis
		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	Proceedings Article
		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	Proceedings Article
		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	Proceedings Article
2	Makinson, van der Torre
2	Malkis, Podelski, Rybalchenko
5	Matthews
2	Matthews, Basin
1	Matthews, Simpson
1	Matthews, Smaill, Basin
1	Meter
2	Meyer
1	Meyer, Faber, Rybalchenko

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