Search dblp for Publications

export results for "toc:db/conf/mbmv/mbmv2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/mbmv/BauerEZ00,
  author       = {Matthias Bauer and
                  Wolfgang Ecker and
                  Andreas Zinn},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Graphische Spezifikation und Analyse funktionaler Testabl{\"{a}}ufe
                  mit MSCs der {UML}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {113--120},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Wed, 13 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/BauerEZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/BauerS00,
  author       = {Andreas Bauer and
                  Wolfgang Schwarz},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Volterra Kernel for Automatic Analysis and Optimization of Nonlinear
                  Analogue Circuits},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {288--297},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/BauerS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/BauerZW00,
  author       = {Christine Bauer and
                  Peter Zipf and
                  Hans Wojtkowiak},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Integration und Fehlertoleranz im Codesign},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {250--258},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Sat, 21 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/BauerZW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/BierbaumWBD00,
  author       = {Dirk Bierbaum and
                  Reimund Wittmann and
                  Michael Buchmann and
                  Mohsen Darianian},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {A 2k High Speed {CMOS} Embedded Dual Port {SRAM} Using an Advanced
                  Generator Concept},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {221--226},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/BierbaumWBD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/BlankRHE00,
  author       = {Claudia Blank and
                  Gerd Ritter and
                  Holger Hinrichsen and
                  Hans Eveking},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Formale Verifikation der Register-Allokation},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {27--35},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/BlankRHE00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/BossungHS00,
  author       = {Wolfgang Bo{\ss}ung and
                  Sorin A. Huss and
                  Michael Stini},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {xCDM -- Ein interaktives Werkzeug zur graphenbasierten Systemmodellierung},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {153--161},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/BossungHS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/BuchholzR00,
  author       = {C. Buchholz and
                  Wolfgang Rosenstiel},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {A Constraint-Based Design Methodology for Automated Composition with
                  IPs},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {211--219},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/BuchholzR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/EckerHMSWY00,
  author       = {Wolfgang Ecker and
                  Mike Heuchling and
                  Jochen Mades and
                  Thomas Schneider and
                  Andr{\'{e}} Windisch and
                  Ke Yang},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {{VXML:} {VHDL} Hardware Design Representation in {XML}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {129--140},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Mon, 20 Aug 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/EckerHMSWY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Fey00,
  author       = {Wolfgang Fey},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {System Simulation: {A} Basic Tool for Modern System Development},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {246--246},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Fey00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Flake0R00,
  author       = {Stephan Flake and
                  Wolfgang M{\"{u}}ller and
                  J{\"{u}}rgen Ruf},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Structured English for Model Checking Specification},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {99--108},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Flake0R00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/ForthM00,
  author       = {Riccardo Forth and
                  Paul Molitor},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Permutation Independent Comparison of Pseudo Boolean Functions},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {79--88},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/ForthM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/GrimmS00,
  author       = {Christoph Grimm and
                  Thomas Stauner},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {{\"{U}}bersetzung von HyCharts in {HDFG}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {141--151},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrimmS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/GuntherDDB00,
  author       = {Wolfgang G{\"{u}}nther and
                  Nicole Drechsler and
                  Rolf Drechsler and
                  Bernd Becker},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Verification of Designs Containing Black Boxes},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {19--26},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Mon, 11 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/GuntherDDB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/HaaseSTV00,
  author       = {J{\"{u}}rgen Haase and
                  Peter Schwarz and
                  Peter Trappe and
                  Wolfgang Vermeiren},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Erfahrungen mit {VHDL-AMS} bei der Simulation heterogener Systeme},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {167--175},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/HaaseSTV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/HaugKR00,
  author       = {Gunter Haug and
                  Udo Kebschull and
                  Wolfgang Rosenstiel},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Emulation synthetisierter Verhaltensbeschreibungen mit VLIW-Prozessoren},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {177--185},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/HaugKR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/HettSB00,
  author       = {Andreas Hett and
                  Christoph Scholl and
                  Bernd Becker},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {State Traversal guided by Hamming Distance Profiles},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {57--66},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Tue, 02 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/HettSB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/HeuschenGW00,
  author       = {Frank Heuschen and
                  Christoph Grimm and
                  Klaus Waldschmidt},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Modellierung des Implementierungsraumes im Analog/Digital Co-Design},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {187--197},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/HeuschenGW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Kampe00,
  author       = {J{\"{u}}rgen Kampe},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Die formale Beschreibung des Strukturentwurfs analoger Systemkomponenten},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {199--208},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Kampe00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/KoehlS00,
  author       = {J{\"{u}}rgen Koehl and
                  J{\"{u}}rgen Schietke},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Platzierungsbasierte Logikoptimierung komplexer {VLSI} Chips},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {270--277},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/KoehlS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/KroningPM00,
  author       = {Daniel Kr{\"{o}}ning and
                  Wolfgang J. Paul and
                  Silvia M. M{\"{u}}ller},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Proving the Correctness of Pipelined Micro-Architectures},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {89--98},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/KroningPM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Kropf00,
  author       = {Michael Kropf},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Automotive Electronics: European Challenges in Circuit and System
                  Design},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {109--109},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Kropf00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/MrvaK00,
  author       = {Michael Mrva and
                  Rainer Kress},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Role-Centered Conceptual Modeling in System Design},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {121--128},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Fri, 12 Jun 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/MrvaK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Payer00,
  author       = {Michael Payer},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Industrial Experience with Formal Verification},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {9--16},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Payer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/RennerBG00,
  author       = {Frank{-}Michael Renner and
                  J{\"{u}}rgen Becker and
                  Manfred Glesner},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Communication Performance Estimation and Communication Synthesis for
                  Architecture-precise Prototyping of Real-time Embedded Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {227--235},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Fri, 19 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/RennerBG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Ringler00,
  author       = {Thomas Ringler},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Entwicklung und Analyse von verteilten zeitgesteuerten Systemen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {260--269},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Ringler00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Ruf00,
  author       = {J{\"{u}}rgen Ruf},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {A Toolset for the Symbolic Examination of Finite State Transition
                  Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {69--78},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Ruf00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SawitzkiKSSR00,
  author       = {Sergej Sawitzki and
                  Steffen K{\"{o}}hler and
                  Rainer G. Spallek and
                  J{\"{o}}rg Schneider and
                  S. R{\"{u}}lke},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Experimenteller Vergleich verschiedener Entwurfsmethoden f{\"{u}}r
                  FPGA-basierte Entwurfsabl{\"{a}}ufe},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {236--244},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/SawitzkiKSSR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/Schlebusch00,
  author       = {Heinz{-}Josef Schlebusch},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {C-based Design of Systems-on-Chip: An {EDA} Perspective},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {163--163},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/Schlebusch00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SchonherrS00,
  author       = {Jens Sch{\"{o}}nherr and
                  Bernd Straube},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Induction based Equivalence Check at Register Transfer Level},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {37--44},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/SchonherrS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/SchonherrS00a,
  author       = {Jens Sch{\"{o}}nherr and
                  Bernd Straube},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Formale Verifikation auf h{\"{o}}heren Entwurfsebenen mittels
                  symbolischer Traversierung unendlicher Automaten},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {47--56},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/SchonherrS00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/WassatschT00,
  author       = {Andreas Wassatsch and
                  Dirk Timmermann},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Untersuchung zum Einflu{\ss} der speziellen Anforderungen dynamischer
                  Schaltungstechnik auf den Systementwurf},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {278--287},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Thu, 28 Jun 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/WassatschT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mbmv/2000,
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.