Original languageGerman
Pages51-60
Number of pages10
Publication statusPublished - 2006
EventMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) - Dresden, Germany
Duration: 20.02.200622.02.2006

Conference

ConferenceMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Country/TerritoryGermany
CityDresden
Period20.02.0622.02.06

Cite this