A Modal Specification Theory for Components with Data

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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelFormal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Vol/bind7253
ForlagSpringer VS
Publikationsdato2012
Sider61-78
DOI
StatusUdgivet - 2012
NavnLecture Notes in Computer Science
Vol/bind7253
ISSN0302-9743

Citationsformater