Skip to search boxSkip to navigationSkip to main content

New Results on Timed Specifications

  • Timothy Bourke
    ,
  • Alexandre David
    ,
  • Kim Guldstrand Larsen
    ,
  • Axel Legay
    ,
  • Didier Lime
    ,
  • Ulrik Mathias Nyman
  • The French National Institute for Computer Science (INRIA)
    ,
  • Aalborg University
    ,
  • Research Institute in Communications and Cybernetic of Nantes - Ecole Centrale de Nantes
Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Open access

Publication Information

Output type

Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 175 (192 pages)

Journal (Volume, Issue Number)

Lecture Notes in Computer Science (Volume 7137)

Publication milestones

  • Published - 2012

Publication status

Published - 2012

ISSN

0302-9743

Publication IDs

  • Scopus: 84857740549

Publication metrics

PlumX, opens in new tab

Citations
4
Captures
6

Access to documents