11 results · clear filters Sort: newest oldest name

1. Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV) (MBMV)
   series, 26 events, 1998 to 2023
   Computer and information sciences
   s10bpay
2. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009 (MBMV)
   2009-03-02/04 · Berlin, Germany
   Computer and information sciences
   e11h9jc
3. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008 (MBMV 2008, MBMV)
   2008-03-03/05 · Freiburg im Breisgau, Germany
   Computer and information sciences
   e10hj6x
4. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007 (MBMV)
   2007-03-05/07 · Erlangen, Germany
   Computer and information sciences
   e11h9he
5. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006 (MBMV)
   2006-02-20/22 · Dresden, Germany
   Computer and information sciences
   e11h9gg
6. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
   2005-01-01 · Munich, Germany
   Computer and information sciences
   e12mt7b
7. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004 (MBMV 2004, MBMV)
   2004-02-24/25 · Kaiserslautern, Germany
   Computer and information sciences
   e10hj7v
8. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003 (MBMV)
   2003-02-24/25 · Bremen, Germany
   Computer and information sciences
   e11h9fk
9. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002 (MBMV)
   2002-02-25/27 · Tübingen, Germany
   Computer and information sciences
   e11h9en
10. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001 (MBMV)
    2001-02-19/21 · Meissen, Germany
    Computer and information sciences
    e11h9dq
11. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000 (MBMV)
    2000-02-28 to 2000-03-01 · Frankfurt, Germany
    Computer and information sciences
    e11h9cs

As JSON: https://labs.confref.org/api/search?series=s10bpay&from=2000&to=2009