A modal specification theory for components with data

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

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	English
Journal	Science of Computer Programming
Volume	83
Pages (from-to)	106-128
ISSN	0167-6423
Publication status	Published - 2014

Cite this

@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",

}