A Modal Specification Theory for Components with Data

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

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationFormal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Volume7253
PublisherSpringer VS
Publication date2012
Pages61-78
DOIs
Publication statusPublished - 2012
SeriesLecture Notes in Computer Science
Volume7253
ISSN0302-9743

Cite this