Skip to search boxSkip to navigationSkip to main content

A Modal Specification Theory for Components with Data

  • Sebastian S. Bauer
    ,
  • Kim Guldstrand Larsen
    ,
  • Axel Legay
    ,
  • Ulrik Mathias Nyman
    ,
  • Andrzej Wasowski
  • Ludwig Maximilian University of Munich
    ,
  • Aalborg University
    ,
  • The French National Institute for Computer Science (INRIA)
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Host publication Subtitle

8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Original language

English

Pages from-to (Number of pages)

Pages 61-78

Publication milestones

  • Published - 2012

Publication status

Published - 2012

Volume

7253

Publisher

Springer, United States, Germany

Book series

  • Book series name: Lecture Notes in Computer Science
    Volume: 7253
    ISSN: 0302-9743

Publication IDs

  • Scopus: 84871572980

Host publication title

Formal Aspects of Component Software

Publication metrics

PlumX, opens in new tab

Captures
2
Citation count
4

Access to documents