JANI: Quantitative Model and Tool Interaction

Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 3 Citations
LanguageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
EditorsAxel Legay, Tiziana Margaria
PublisherSpringer
Pages151-168
Number of pages18
ISBN (Electronic)978-3-662-54576-8
ISBN (Print)978-3-662-54579-9
DOIs
StatePublished - Apr 2017
Event23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 - Uppsala, Sweden
Duration: 22 Apr 201729 Apr 2017
Conference number: 23

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10206

Conference

Conference23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017
Abbreviated titleTACAS
CountrySweden
CityUppsala
Period22/04/1729/04/17

Cite this

Budde, C. E., Dehnert, C., Hahn, E. M., Hartmanns, A., Junges, S., & Turrini, A. (2017). JANI: Quantitative Model and Tool Interaction. In A. Legay, & T. Margaria (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (pp. 151-168). (Lecture Notes in Computer Science; Vol. 10206). Springer. DOI: 10.1007/978-3-662-54580-5_9
Budde, Carlos E. ; Dehnert, Christian ; Hahn, Ernst Moritz ; Hartmanns, Arnd ; Junges, Sebastian ; Turrini, Andrea. / JANI : Quantitative Model and Tool Interaction. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. editor / Axel Legay ; Tiziana Margaria. Springer, 2017. pp. 151-168 (Lecture Notes in Computer Science).
@inproceedings{a005cf657cf7491693f8654f6b0a76c4,
title = "JANI: Quantitative Model and Tool Interaction",
author = "Budde, {Carlos E.} and Christian Dehnert and Hahn, {Ernst Moritz} and Arnd Hartmanns and Sebastian Junges and Andrea Turrini",
year = "2017",
month = "4",
doi = "10.1007/978-3-662-54580-5_9",
language = "English",
isbn = "978-3-662-54579-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "151--168",
editor = "Axel Legay and Tiziana Margaria",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

}

Budde, CE, Dehnert, C, Hahn, EM, Hartmanns, A, Junges, S & Turrini, A 2017, JANI: Quantitative Model and Tool Interaction. in A Legay & T Margaria (eds), Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10206, Springer, pp. 151-168, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, Uppsala, Sweden, 22/04/17. DOI: 10.1007/978-3-662-54580-5_9

JANI : Quantitative Model and Tool Interaction. / Budde, Carlos E.; Dehnert, Christian; Hahn, Ernst Moritz; Hartmanns, Arnd; Junges, Sebastian; Turrini, Andrea.

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. ed. / Axel Legay; Tiziana Margaria. Springer, 2017. p. 151-168 (Lecture Notes in Computer Science; Vol. 10206).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - JANI

T2 - Quantitative Model and Tool Interaction

AU - Budde,Carlos E.

AU - Dehnert,Christian

AU - Hahn,Ernst Moritz

AU - Hartmanns,Arnd

AU - Junges,Sebastian

AU - Turrini,Andrea

PY - 2017/4

Y1 - 2017/4

U2 - 10.1007/978-3-662-54580-5_9

DO - 10.1007/978-3-662-54580-5_9

M3 - Conference contribution

SN - 978-3-662-54579-9

T3 - Lecture Notes in Computer Science

SP - 151

EP - 168

BT - Tools and Algorithms for the Construction and Analysis of Systems

PB - Springer

ER -

Budde CE, Dehnert C, Hahn EM, Hartmanns A, Junges S, Turrini A. JANI: Quantitative Model and Tool Interaction. In Legay A, Margaria T, editors, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Springer. 2017. p. 151-168. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-662-54580-5_9