Article,
Synthesizing Finite-state Protocols from Scenarios and Requirements.
R. Alur, M. Martin, M. Raghothaman, C. Stergiou, S. Tripakis, and A. Udupa.CoRR, (2014)
Meta data
- BibTeX key
- journals/corr/AlurMRSTU14
- entry type
- article
- year
- 2014
- journal
- CoRR
- volume
- abs/1402.7150
- ee
- http://arxiv.org/abs/1402.7150
- url
- http://dblp.uni-trier.de/db/journals/corr/corr1402.html#AlurMRSTU14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/AlurMRSTU14
%A Alur, Rajeev
%A Martin, Milo M. K.
%A Raghothaman, Mukund
%A Stergiou, Christos
%A Tripakis, Stavros
%A Udupa, Abhishek
%D 2014
%J CoRR
%K
%T Synthesizing Finite-state Protocols from Scenarios and Requirements.
%U http://dblp.uni-trier.de/db/journals/corr/corr1402.html#AlurMRSTU14
%V abs/1402.7150
@article{journals/corr/AlurMRSTU14,
added-at = {2023-12-13T00:39:01.000+0100},
author = {Alur, Rajeev and Martin, Milo M. K. and Raghothaman, Mukund and Stergiou, Christos and Tripakis, Stavros and Udupa, Abhishek},
biburl = {https://www.bibsonomy.org/bibtex/240b7176cc747e8afda2582ba1fbb00a6/admin},
ee = {http://arxiv.org/abs/1402.7150},
interhash = {6669e660774f6d97f4444cb859fac728},
intrahash = {40b7176cc747e8afda2582ba1fbb00a6},
journal = {CoRR},
keywords = {},
timestamp = {2023-12-13T00:39:01.000+0100},
title = {Synthesizing Finite-state Protocols from Scenarios and Requirements.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1402.html#AlurMRSTU14},
volume = {abs/1402.7150},
year = 2014
}