Inproceedings,
SMT-based consistency analysis of industrial systems requirements.
P. Filipovikj, G. Rodríguez-Navas, M. Nyberg, and C. Seceleanu.SAC, page 1272-1279. ACM, (2017)
Meta data
- BibTeX key
- conf/sac/FilipovikjRNS17
- entry type
- inproceedings
- booktitle
- SAC
- year
- 2017
- pages
- 1272-1279
- publisher
- ACM
- crossref
- conf/sac/2017
- ee
- https://doi.org/10.1145/3019612.3019787
- isbn
- 978-1-4503-4486-9
- url
- http://dblp.uni-trier.de/db/conf/sac/sac2017.html#FilipovikjRNS17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sac/FilipovikjRNS17
%A Filipovikj, Predrag
%A Rodríguez-Navas, Guillermo
%A Nyberg, Mattias
%A Seceleanu, Cristina
%B SAC
%D 2017
%E Seffah, Ahmed
%E Penzenstadler, Birgit
%E Alves, Carina
%E Peng, Xin
%I ACM
%K dblp
%P 1272-1279
%T SMT-based consistency analysis of industrial systems requirements.
%U http://dblp.uni-trier.de/db/conf/sac/sac2017.html#FilipovikjRNS17
%@ 978-1-4503-4486-9
@inproceedings{conf/sac/FilipovikjRNS17,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Filipovikj, Predrag and Rodríguez-Navas, Guillermo and Nyberg, Mattias and Seceleanu, Cristina},
biburl = {https://www.bibsonomy.org/bibtex/2e61e0383bf77a7a6b810cd0f414c8754/dblp},
booktitle = {SAC},
crossref = {conf/sac/2017},
editor = {Seffah, Ahmed and Penzenstadler, Birgit and Alves, Carina and Peng, Xin},
ee = {https://doi.org/10.1145/3019612.3019787},
interhash = {c9fc098700b15cc6a64ca30dc451836c},
intrahash = {e61e0383bf77a7a6b810cd0f414c8754},
isbn = {978-1-4503-4486-9},
keywords = {dblp},
pages = {1272-1279},
publisher = {ACM},
timestamp = {2024-04-09T12:17:32.000+0200},
title = {SMT-based consistency analysis of industrial systems requirements.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2017.html#FilipovikjRNS17},
year = 2017
}