Filter the results Item type Select All/None Folder Language Root Folder Image Language Independent Folder File Collection News Item New items since Yesterday Last week Last month Ever Search results Subscribe to an always-updated RSS feed. 1 items matching your search terms. Sort by relevance date (newest first) alphabetically MBMV 2023 at the Faculty of Engineering Workshop "Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV)" from March 23–24, 2023 Located in newsarchive