Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fedcsis/KlimekS13
%A Klimek, Radoslaw
%A Szwed, Piotr
%B FedCSIS
%D 2013
%E Ganzha, Maria
%E Maciaszek, Leszek A.
%E Paprzycki, Marcin
%K dblp
%P 1103-1110
%T Verification of ArchiMate process specifications based on deductive temporal reasoning.
%U http://dblp.uni-trier.de/db/conf/fedcsis/fedcsis2013.html#KlimekS13
%@ 978-1-4673-4471-5
@inproceedings{conf/fedcsis/KlimekS13,
added-at = {2021-08-09T00:00:00.000+0200},
author = {Klimek, Radoslaw and Szwed, Piotr},
biburl = {https://www.bibsonomy.org/bibtex/27eb1053cabc3e5e28f0438a1314d72aa/dblp},
booktitle = {FedCSIS},
crossref = {conf/fedcsis/2013},
editor = {Ganzha, Maria and Maciaszek, Leszek A. and Paprzycki, Marcin},
ee = {https://ieeexplore.ieee.org/document/6644153/},
interhash = {0bc5ecffab72323c8ffd10e726697314},
intrahash = {7eb1053cabc3e5e28f0438a1314d72aa},
isbn = {978-1-4673-4471-5},
keywords = {dblp},
pages = {1103-1110},
timestamp = {2024-04-09T12:32:13.000+0200},
title = {Verification of ArchiMate process specifications based on deductive temporal reasoning.},
url = {http://dblp.uni-trier.de/db/conf/fedcsis/fedcsis2013.html#KlimekS13},
year = 2013
}