27 results · clear filters Sort: newest oldest name

1. Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2023, 26th Workshop, Freiburg, Germany, 23-24 March 2023
   2023 · Freiburg im Breisgau, Germany
   Computer and information sciences
   e11ha0g
2. 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
3. Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2022, 25th Workshop, Virtual Event, Germany, February 17-18, 2022
   2022 · Germany
   Computer and information sciences
   e11h9zj
4. Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2021, 24th Workshop, Virtual Event, Germany, March 18-19, 2021
   2021 · Germany
   Computer and information sciences
   e11h9ym
5. 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
   2020 · Stuttgart, Germany
   Computer and information sciences
   e11h9xp
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. 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
20. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
    2005-01-01 · Munich, Germany
    Computer and information sciences
    e12mt7b
21. 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
22. 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
23. 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
24. 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
25. 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?field=1.2&series=s10bpay