A modal specification theory for components with data

Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Mathias Nyman, Andrzej Wasowski

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Science of Computer Programming
Vol/bind	83
Sider (fra-til)	106-128
ISSN	0167-6423
Status	Udgivet - 2014

Citationsformater

@article{c31c0a4e62a94ca4900d3e7b0e4a83f4,

title = "A modal specification theory for components with data",

author = "{S. Bauer}, Sebastian and Larsen, {Kim Guldstrand} and Axel Legay and Nyman, {Ulrik Mathias} and Andrzej Wasowski",

year = "2014",

language = "English",

volume = "83",

pages = "106--128",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

}