New Results on Timed Specifications

Timothy Bourke; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Didier  Lime; Ulrik Mathias Nyman; Andrzej Wasowski

doi:10.1007/978-3-642-28412-0_12

New Results on Timed Specifications

Timothy Bourke
, Alexandre David
, Kim Guldstrand Larsen
, Axel Legay
, Didier Lime
, Ulrik Mathias Nyman
, Andrzej Wasowski

Aalborg Universitet
Inria
Research Institute in Communications and Cybernetic of Nantes - Ecole Centrale de Nantes

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	7137
Sider (fra-til)	175
Antal sider	192
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-28412-0_12
Status	Udgivet - 2012

Adgang til dokumentet

10.1007/978-3-642-28412-0_12

MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Projekter: Projekt › Forskning

Citationsformater

@inproceedings{9f57dd78225948cdabedb268e5fc1cf2,

title = "New Results on Timed Specifications",

author = "Timothy Bourke and Alexandre David and Larsen, \{Kim Guldstrand\} and Axel Legay and Didier Lime and Nyman, \{Ulrik Mathias\} and Andrzej Wasowski",

year = "2012",

doi = "10.1007/978-3-642-28412-0\_12",

language = "English",

volume = "7137",

pages = "175",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}

TY - GEN

T1 - New Results on Timed Specifications

AU - Bourke, Timothy

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Lime, Didier

AU - Nyman, Ulrik Mathias

AU - Wasowski, Andrzej

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-28412-0_12

DO - 10.1007/978-3-642-28412-0_12

M3 - Conference article

SN - 0302-9743

VL - 7137

SP - 175

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

New Results on Timed Specifications

Adgang til dokumentet

Projekter

MT-Lab - Modelling of Information Technology

Citationsformater