MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 6. Publisher/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
YearTitleType
Show details for Schmidt, Renate A.Schmidt, Renate A.
Show details for Tishkovsky, DmitryTishkovsky, Dmitry
Show details for KluwerKluwer
Show details for Kluwer [http://www.kluweronline.com/issn/0168-7433]Kluwer [http://www.kluweronline.com/issn/0168-7433]
Show details for Kluwer [http://www.kluweronline.com/issn/1012-2443]Kluwer [http://www.kluweronline.com/issn/1012-2443]
Show details for Kluwer [http://www.kluweronline.com/]Kluwer [http://www.kluweronline.com/]
Show details for Kluwer [http://www.wkap.nl/kaphtml.htm/HOMEPAGE]Kluwer [http://www.wkap.nl/kaphtml.htm/HOMEPAGE]
Hide details for Kluwer [http://www.wkap.nl/]Kluwer [http://www.wkap.nl/]
Show details for Devienne, PhilippeDevienne, Philippe
Show details for Ganzinger, HaraldGanzinger, Harald
Show details for Lang, JérômeLang, Jérôme
Show details for Makinson, DavidMakinson, David
Show details for Müller, MartinMüller, Martin
Show details for Niehren, JoachimNiehren, Joachim
Show details for Nieuwenhuis, RobertNieuwenhuis, Robert
Show details for Nivela, PilarNivela, Pilar
Show details for Podelski, AndreasPodelski, Andreas
Show details for Talbot, Jean-MarcTalbot, Jean-Marc
Show details for Tison, SophieTison, Sophie
Show details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
Show details for Weydert, EmilWeydert, Emil
Show details for Kluwer [http://www.wkap.nl]Kluwer [http://www.wkap.nl]
Show details for Laboratoire de Spécification et de Vérification, ENS CachanLaboratoire de Spécification et de Vérification, ENS Cachan
Show details for Lanzhou UniversityLanzhou University
Show details for Linköping University Electronic PressLinköping University Electronic Press
Show details for LMU München, Technical Report 9311LMU München, Technical Report 9311
Show details for LoriaLoria
Show details for Lund University Cognitive ScienceLund University Cognitive Science
Show details for Marcel DekkerMarcel Dekker
Show details for Max-Planck-Institut für InformatikMax-Planck-Institut für Informatik

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