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
Kasper
Kazakov
Kazakov, de Nivelle
Klotzki
Korovin
Korovin, Voronkov
Kraan, Basin, Bundy
Krischer, Bockmayr
Krishna Rao
Krishna Rao, Shyamasundar
Kupferschmid, Hoffmann, Dierks, Behrmann
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

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