default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

MBMV 2024 Homepage

• 
  Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2023, 26th Workshop, Freiburg, Germany, 23-24 March 2023. VDE/IEEE 2023, ISBN 978-3-8007-6065-7 [contents]

• 
  Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2022, 25th Workshop, Virtual Event, Germany, February 17-18, 2022. VDE/IEEE 2022, ISBN 978-3-8007-5754-1 [contents]

• 
  Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2021, 24th Workshop, Virtual Event, Germany, March 18-19, 2021. VDE/IEEE 2021, ISBN 978-3-8007-5500-4 [contents]

• 
  23rd GMM/ITG/GI Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2020, Stuttgart, Germany, March 19-20, 2020. VDE / IEEE 2020, ISBN 978-3-8007-5220-1 [contents]

• 
  22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. VDE Verlag 2019, ISBN 978-3-8007-4945-4 [contents]

• 
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen 2018, ISBN 978-3-00-059317-8 [contents]

• 
  Daniel Große, Rolf Drechsler:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. Shaker Verlag 2017, ISBN 978-3-8440-4996-1 [contents]

• 
  Ralf Wimmer:
  19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016. Albert-Ludwigs-Universität Freiburg 2016, ISBN 978-3-00-052380-9 [contents]

• 
  Ulrich Heinkel, Daniel Kriesten, Marko Rößler:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. Sächsische Landesbibliothek 2015, ISBN 978-3-00-048889-4 [contents]

• 
  Jürgen Ruf, Dirk Allmendinger, Matteo Michel:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. Cuvillier 2014 [contents]

• 
  Christian Haubelt, Dirk Timmermann:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock 2013, ISBN 978-3-86009-147-0 [contents]

MBMV 2012 Homepage

• 
  Jens Brandt, Klaus Schneider:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. Forschungsergebnisse zur Informatik 68, Verlag Dr. Kovac 2012, ISBN 978-3-8300-6201-1 [contents]

• 
  Frank Oppenheimer:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. OFFIS-Institut für Informatik 2011 [contents]

• 
  Manfred Dietrich:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. Fraunhofer Verlag 2010 [contents]

• 
  Carsten Gremzow, Nico Moser:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. Universitätsbibliothek Berlin, Germany 2009 [contents]

• 
  Christoph Scholl, Stefan Disch:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008. Shaker 2008 [contents]

• 
  Christian Haubelt, Jürgen Teich:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007. Berichte aus der Informatik, Shaker 2007, ISBN 978-3-8322-5956-3 [contents]

• 
  Bernd Straube, Martin Freibothe:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. Fraunhofer Institut für Integrierte Schaltungen 2006 [contents]

April 5-7, 2005, no proceedings available

• 
  Dominik Stoffel, Wolfgang Kunz:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004. Shaker 2004 [contents]

• 
  Rolf Drechsler:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. Shaker 2003 [contents]

• 
  Jürgen Ruf:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002. Shaker 2002 [contents]

• 
  Dieter Monjau:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001. MoPress 2001 [contents]

• 
  Klaus Waldschmidt, Christoph Grimm:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000. VDE 2000 [contents]

• 
  Matthias Mutz, Nikolaus Lange:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999. Shaker 1999 [contents]

• 
  Franz-Josef Rammig, Wolfgang Müller:
  Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998. HNI-Verlagsschriften 1998 [contents]

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-12-05 22:21 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: