Inproceedings,
Model Checking the Multi-Formalism Language FIGARO.
S. Khan, M. Volk, J. Katoen, A. Braibant, and M. Bouissou.DSN, page 463-470. IEEE, (2021)
Meta data
- BibTeX key
- conf/dsn/00020KBB21
- entry type
- inproceedings
- booktitle
- DSN
- year
- 2021
- pages
- 463-470
- publisher
- IEEE
- crossref
- conf/dsn/2021
- ee
- https://doi.org/10.1109/DSN48987.2021.00056
- isbn
- 978-1-6654-3572-7
- url
- http://dblp.uni-trier.de/db/conf/dsn/dsn2021.html#00020KBB21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dsn/00020KBB21
%A Khan, Shahid
%A Volk, Matthias
%A Katoen, Joost-Pieter
%A Braibant, Alexis
%A Bouissou, Marc
%B DSN
%D 2021
%I IEEE
%K dblp
%P 463-470
%T Model Checking the Multi-Formalism Language FIGARO.
%U http://dblp.uni-trier.de/db/conf/dsn/dsn2021.html#00020KBB21
%@ 978-1-6654-3572-7
@inproceedings{conf/dsn/00020KBB21,
added-at = {2021-08-09T00:00:00.000+0200},
author = {Khan, Shahid and Volk, Matthias and Katoen, Joost-Pieter and Braibant, Alexis and Bouissou, Marc},
biburl = {https://www.bibsonomy.org/bibtex/23f41d906fefb590fdd6e0c6532586d44/dblp},
booktitle = {DSN},
crossref = {conf/dsn/2021},
ee = {https://doi.org/10.1109/DSN48987.2021.00056},
interhash = {b8443f0ef4381774fac8cab9f911e7fe},
intrahash = {3f41d906fefb590fdd6e0c6532586d44},
isbn = {978-1-6654-3572-7},
keywords = {dblp},
pages = {463-470},
publisher = {IEEE},
timestamp = {2024-04-09T10:03:27.000+0200},
title = {Model Checking the Multi-Formalism Language FIGARO.},
url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2021.html#00020KBB21},
year = 2021
}