FAUST2: Formal Abstractions of Uncountable-STate STochastic processes

S Esmaeil Zadeh Soudjani; C. Gevaerts; A Abate

doi:10.1007/978-3-662-46681-0_23

FAUST2: Formal Abstractions of Uncountable-STate STochastic processes

S Esmaeil Zadeh Soudjani, C. Gevaerts, A Abate

Team Bart De Schutter

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

68 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Subtitle of host publication	held as part of the European Joint Conferences on Theory and Practice of SoftwareTools and Algorithms for the Construction and Analysis of Systems
Editors	C. Baier, C. Tinelli
Place of Publication	Berlin/Heidelberg
Publisher	Springer
Pages	272-286
ISBN (Print)	978-3-662-46680-3
DOIs	https://doi.org/10.1007/978-3-662-46681-0_23
Publication status	Published - 2015
Event	TACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - London, United Kingdom Duration: 11 Apr 2015 → 18 Apr 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9035

Conference

Conference	TACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Country/Territory	United Kingdom
City	London
Period	11/04/15 → 18/04/15

Bibliographical note

Harvest
Lecture Notes in Computer Science, volume 9035

Access to Document

10.1007/978-3-662-46681-0_23

Cite this

Esmaeil Zadeh Soudjani, S., Gevaerts, C., & Abate, A. (2015). FAUST2: Formal Abstractions of Uncountable-STate STochastic processes. In C. Baier, & C. Tinelli (Eds.), Proceedings of the 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015): held as part of the European Joint Conferences on Theory and Practice of SoftwareTools and Algorithms for the Construction and Analysis of Systems (pp. 272-286). (Lecture Notes in Computer Science; Vol. 9035). Springer. https://doi.org/10.1007/978-3-662-46681-0_23

Esmaeil Zadeh Soudjani, S ; Gevaerts, C. ; Abate, A. / FAUST2 : Formal Abstractions of Uncountable-STate STochastic processes. Proceedings of the 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015): held as part of the European Joint Conferences on Theory and Practice of SoftwareTools and Algorithms for the Construction and Analysis of Systems . editor / C. Baier ; C. Tinelli. Berlin/Heidelberg : Springer, 2015. pp. 272-286 (Lecture Notes in Computer Science).

@inproceedings{a4404b3bfc8548c7b5e066b99c2e26e1,

title = "FAUST2: Formal Abstractions of Uncountable-STate STochastic processes",

author = "{Esmaeil Zadeh Soudjani}, S and C. Gevaerts and A Abate",

note = "Harvest Lecture Notes in Computer Science, volume 9035; TACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; Conference date: 11-04-2015 Through 18-04-2015",

year = "2015",

doi = "10.1007/978-3-662-46681-0_23",

language = "English",

isbn = "978-3-662-46680-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "272--286",

editor = "C. Baier and C. Tinelli",

booktitle = "Proceedings of the 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)",

}

Esmaeil Zadeh Soudjani, S, Gevaerts, C & Abate, A 2015, FAUST2: Formal Abstractions of Uncountable-STate STochastic processes. in C Baier & C Tinelli (eds), Proceedings of the 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015): held as part of the European Joint Conferences on Theory and Practice of SoftwareTools and Algorithms for the Construction and Analysis of Systems . Lecture Notes in Computer Science, vol. 9035, Springer, Berlin/Heidelberg, pp. 272-286, TACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom, 11/04/15. https://doi.org/10.1007/978-3-662-46681-0_23

FAUST2: Formal Abstractions of Uncountable-STate STochastic processes. / Esmaeil Zadeh Soudjani, S; Gevaerts, C.; Abate, A.
Proceedings of the 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015): held as part of the European Joint Conferences on Theory and Practice of SoftwareTools and Algorithms for the Construction and Analysis of Systems . ed. / C. Baier; C. Tinelli. Berlin/Heidelberg: Springer, 2015. p. 272-286 (Lecture Notes in Computer Science; Vol. 9035).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - FAUST2

T2 - TACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems

AU - Esmaeil Zadeh Soudjani, S

AU - Gevaerts, C.

AU - Abate, A

N1 - Harvest Lecture Notes in Computer Science, volume 9035

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-662-46681-0_23

DO - 10.1007/978-3-662-46681-0_23

M3 - Conference contribution

SN - 978-3-662-46680-3

T3 - Lecture Notes in Computer Science

SP - 272

EP - 286

BT - Proceedings of the 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

A2 - Baier, C.

A2 - Tinelli, C.

PB - Springer

CY - Berlin/Heidelberg

Y2 - 11 April 2015 through 18 April 2015

ER -

Esmaeil Zadeh Soudjani S, Gevaerts C, Abate A. FAUST2: Formal Abstractions of Uncountable-STate STochastic processes. In Baier C, Tinelli C, editors, Proceedings of the 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015): held as part of the European Joint Conferences on Theory and Practice of SoftwareTools and Algorithms for the Construction and Analysis of Systems . Berlin/Heidelberg: Springer. 2015. p. 272-286. (Lecture Notes in Computer Science). doi: 10.1007/978-3-662-46681-0_23