23 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. 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. (MBMV)
   2019-03-08/09 · Kaiserslautern, Germany
   Computer and information sciences
   e11h9wr
3. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. (MBMV)
   2018-02-08/09 · Tübingen, Germany
   Computer and information sciences
   e11h9vt
4. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. (MBMV)
   2017-02-08/09 · Bremen, Germany
   Computer and information sciences
   e11h9tw
5. 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. (MBMV)
   2016-03-01/02 · Freiburg im Breisgau, Germany
   Computer and information sciences
   e11h9sy
6. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. (MBMV)
   2015-03-03/04 · Chemnitz, Germany
   Computer and information sciences
   e11h9r0
7. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany (MBMV)
   2014-01-01 · Böblingen, Germany
   Computer and information sciences
   e11h9q2
8. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. (MBMV)
   2013-03-12/14 · Warnemünde, Germany
   Computer and information sciences
   e11h9p4
9. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012 (MBMV)
   2012-01-01 · Kaiserslautern, Germany
   Computer and information sciences
   e11h9n6
10. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011 (MBMV)
    2011-02-21/23 · Oldenburg, Germany
    Computer and information sciences
    e11h9m8
11. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010 (MBMV)
    2010-02-22/24 · Dresden, Germany
    Computer and information sciences
    e11h9ka
12. 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
13. 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
14. 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
15. 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
16. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
    2005-01-01 · Munich, Germany
    Computer and information sciences
    e12mt7b
17. 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
18. 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
19. 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
20. 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
21. 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
22. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999 (MBMV)
    1999-02-22/24 · Brunswick, Germany
    Computer and information sciences
    e11h9bv
23. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998 (MBMV)
    1998-03-09/11 · Paderborn, Germany
    Computer and information sciences
    e11h9ax

As JSON: https://labs.confref.org/api/search?field=1.2&discipline=Q21198&series=s10bpay