Quantitative Modal Transition Systems

Kim Guldstrand Larsen; Axel Legay

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

Quantitative Modal Transition Systems

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Volume	7841
Publisher	Springer Publishing Company
Publication date	2013
Pages	50-58
ISBN (Print)	978-3-642-37634-4
ISBN (Electronic)	978-3-642-37635-1
DOIs	https://doi.org/10.1007/978-3-642-37635-1_3
Publication status	Published - 2013
Event	21st International Workshop on Algebraic Development Techniques - Salamanca, Spain Duration: 7 Jun 2012 → 10 Jun 2012

Conference

Conference	21st International Workshop on Algebraic Development Techniques
Country/Territory	Spain
City	Salamanca
Period	07/06/2012 → 10/06/2012

Series	Lecture Notes in Computer Science
Volume	7841
ISSN	0302-9743

Access to Document

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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. in Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. vol. 7841, Springer Publishing Company, Lecture Notes in Computer Science, vol. 7841, pp. 50-58, 21st International Workshop on Algebraic Development Techniques, Salamanca, Spain, 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. Vol. 7841 Springer Publishing Company, 2013. p. 50-58 (Lecture Notes in Computer Science, Vol. 7841).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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 -