Show simple item record

Formal methods and signal processing

dc.contributor.authorBoute, R.
dc.date.accessioned2021-10-17T06:22:07Z
dc.date.available2021-10-17T06:22:07Z
dc.date.issued2008-05
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/13436
dc.sourceIIOimport
dc.titleFormal methods and signal processing
dc.typeMeeting abstract
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.source.beginpage1
dc.source.endpage3
dc.source.conference15th International Symposium on Formal Methods - FM
dc.source.conferencedate23/05/2008
dc.source.conferencelocationTurku Finland
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
17620.pdf
Size:
965.0Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record