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. 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

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