Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
3 results · clear filters Sort: newest oldest name
- Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV) (MBMV)Computer and information sciencess10bpay
- Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999 (MBMV)Computer and information sciencese11h9bv
- Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998 (MBMV)Computer and information sciencese11h9ax
As JSON: https://labs.confref.org/api/search?series=s10bpay&from=1990&to=1999