Quantitative Modal Transition Systems

Kim Guldstrand Larsen; Axel Legay

doi:10.1007/978-3-642-37635-1_3

Quantitative Modal Transition Systems

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

1 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Vol/bind	7841
Forlag	Springer Publishing Company
Publikationsdato	2013
Sider	50-58
ISBN (Trykt)	978-3-642-37634-4
ISBN (Elektronisk)	978-3-642-37635-1
DOI	https://doi.org/10.1007/978-3-642-37635-1_3
Status	Udgivet - 2013
Begivenhed	21st International Workshop on Algebraic Development Techniques - Salamanca, Spanien Varighed: 7 jun. 2012 → 10 jun. 2012

Konference

Konference	21st International Workshop on Algebraic Development Techniques
Land/Område	Spanien
By	Salamanca
Periode	07/06/2012 → 10/06/2012

Navn	Lecture Notes in Computer Science
Vol/bind	7841
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-642-37635-1_3

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{87a5aa6043dc490f85d439e0b8eba2e9,

title = "Quantitative Modal Transition Systems",

author = "Larsen, {Kim Guldstrand} and Axel Legay",

year = "2013",

doi = "10.1007/978-3-642-37635-1_3",

language = "English",

isbn = "978-3-642-37634-4",

volume = "7841",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "50--58",

booktitle = "Recent Trends in Algebraic Development Techniques",

address = "United States",

note = " 21st International Workshop on Algebraic Development Techniques, WADT 2012 ; Conference date: 07-06-2012 Through 10-06-2012",

}

Larsen, KG & Legay, A 2013, Quantitative Modal Transition Systems. i Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. bind 7841, Springer Publishing Company, Lecture Notes in Computer Science, bind 7841, s. 50-58, 21st International Workshop on Algebraic Development Techniques, Salamanca, Spanien, 07/06/2012. https://doi.org/10.1007/978-3-642-37635-1_3

Quantitative Modal Transition Systems. / Larsen, Kim Guldstrand; Legay, Axel.
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Bind 7841 Springer Publishing Company, 2013. s. 50-58 (Lecture Notes in Computer Science, Bind 7841).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Quantitative Modal Transition Systems

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-37635-1_3

DO - 10.1007/978-3-642-37635-1_3

M3 - Article in proceeding

SN - 978-3-642-37634-4

VL - 7841

T3 - Lecture Notes in Computer Science

SP - 50

EP - 58

BT - Recent Trends in Algebraic Development Techniques

PB - Springer Publishing Company

T2 - 21st International Workshop on Algebraic Development Techniques

Y2 - 7 June 2012 through 10 June 2012

ER -