Show simple item record

Derivation of formal representations from process-based specification and implementation models

dc.contributor.authorVercauteren, Steven
dc.contributor.authorVerkest, Diederik
dc.contributor.authorDe Jong, Gjalt
dc.contributor.authorLin, Bill
dc.date.accessioned2021-09-30T10:00:59Z
dc.date.available2021-09-30T10:00:59Z
dc.date.issued1997
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/2281
dc.sourceIIOimport
dc.titleDerivation of formal representations from process-based specification and implementation models
dc.typeProceedings paper
dc.contributor.imecauthorVerkest, Diederik
dc.contributor.orcidimecVerkest, Diederik::0000-0001-6567-2746
dc.source.peerreviewno
dc.source.beginpage16
dc.source.endpage23
dc.source.conference10th International Symposium on System Synthesis - ISSS
dc.source.conferencedate17/09/1997
dc.source.conferencelocationAntwerpen Belgium
imec.availabilityPublished - imec


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record