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
Show 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 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
Hide details for MIT PressMIT Press
Show details for Bachmair, LeoBachmair, Leo
Show details for Barth, PeterBarth, Peter
Show details for Basin, David A.Basin, David A.
Show details for Bockmayr, AlexanderBockmayr, Alexander
Show details for Bundy, AlanBundy, Alan
Show details for Ganzinger, HaraldGanzinger, Harald
Show details for Hanus, MichaelHanus, Michael
Show details for Hustadt, UllrichHustadt, Ullrich
Show details for Kraan, InaKraan, Ina

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