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]
Show details for Kluwer [http://www.wkap.nl/]Kluwer [http://www.wkap.nl/]
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
Hide details for Max-Planck-Institut für Informatik [http://www.mpi-sb.mpg.de/]Max-Planck-Institut für Informatik [http://www.mpi-sb.mpg.de/]
Show details for de Nivelle, Hans (ed.)de Nivelle, Hans (ed.)
Show details for Hillenbrand, ThomasHillenbrand, Thomas
Show details for Kazakov, YevgenyKazakov, Yevgeny
Show details for Löchner, BerndLöchner, Bernd
Show details for Maier, PatrickMaier, Patrick
Show details for Podelski, AndreasPodelski, Andreas
Show details for Schulz, Stephan (ed.)Schulz, Stephan (ed.)
Show details for Topić, DaliborTopić, Dalibor
Show details for Max-Planck-Institut für Informatik [http://www.springer.de/]Max-Planck-Institut für Informatik [http://www.springer.de/]
Show details for Microsoft Research, Microsoft CorporationMicrosoft Research, Microsoft Corporation
Show details for MIT PressMIT Press
Show details for Morgan KaufmannMorgan Kaufmann

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