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 contributionAcademicpeer-review

  • 6 Citations
LanguageEnglish
Title of host publicationProceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017)
EditorsAxel Legay, Tiziana Margaria
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages151-168
Number of pages18
ISBN (Electronic)978-3-662-54576-8
ISBN (Print)978-3-662-54579-9
DOIs
Publication statusPublished - 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.), Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017) (pp. 151-168). (Lecture Notes in Computer Science; Vol. 10206). Berlin, Heidelberg: Springer. https://doi.org/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. Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017). editor / Axel Legay ; Tiziana Margaria. Berlin, Heidelberg : 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 = "Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017)",
address = "Germany",

}

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), Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017). Lecture Notes in Computer Science, vol. 10206, Springer, Berlin, Heidelberg, pp. 151-168, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, Uppsala, Sweden, 22/04/17. https://doi.org/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.

Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017). ed. / Axel Legay; Tiziana Margaria. Berlin, Heidelberg : Springer, 2017. p. 151-168 (Lecture Notes in Computer Science; Vol. 10206).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - JANI: 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 - Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017)

A2 - Legay, Axel

A2 - Margaria, Tiziana

PB - Springer

CY - Berlin, Heidelberg

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, Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017). Berlin, Heidelberg: Springer. 2017. p. 151-168. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-662-54580-5_9