A formal semantic model to fit SIL for transformational design

C. Huijs, Th. Krol

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Keywords

@inproceedings{338ca736236444fe90f4f2d68d60acad,

title = "A formal semantic model to fit SIL for transformational design",

keywords = "METIS-119352",

author = "C. Huijs and Th. Krol",

year = "1994",

month = dec,

day = "19",

language = "Undefined",

isbn = "0-8186-6430-4",

pages = "100--107",

booktitle = "The 20th Euromicro Conference",

}