Hardware modelling language and verification of design properties

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	NWPT'07/FLACOS'07
Publisher	Institute for Informatics, Univ. of Olso
Publication date	2007
Pages	49-51
Publication status	Published - 2007
Event	Nordic Workshop on Programming Theory 2007 - Olso Duration: 1 Jan 2007 → …

Conference	Nordic Workshop on Programming Theory 2007
City	Olso
Period	01/01/2007 → …

OpenUrl availability

@inproceedings{ce0c84079495440fac5bd366430b327e,

title = "Hardware modelling language and verification of design properties",

author = "Brekling, \{Aske Wiid\} and Hansen, \{Michael Reichhardt\} and Jan Madsen",

year = "2007",

language = "English",

pages = "49--51",

booktitle = "NWPT'07/FLACOS'07",

publisher = "Institute for Informatics, Univ. of Olso",

note = "Nordic Workshop on Programming Theory 2007, NWPT'07 ; Conference date: 01-01-2007",

}