Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-2008-01623
%A Madkour, Mohcine
%A Butler, Keith A.
%A Mercer, Eric
%A Bahrami, Ali
%A Tao, Cui
%D 2020
%J CoRR
%K dblp
%T Semantic based model of Conceptual Work Products for formal verification of complex interactive systems.
%U http://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-01623
%V abs/2008.01623
@article{journals/corr/abs-2008-01623,
added-at = {2020-08-07T00:00:00.000+0200},
author = {Madkour, Mohcine and Butler, Keith A. and Mercer, Eric and Bahrami, Ali and Tao, Cui},
biburl = {https://www.bibsonomy.org/bibtex/232502c56dae1078a702bb5ba4c04fa16/dblp},
ee = {https://arxiv.org/abs/2008.01623},
interhash = {501bb48755e1b81fb4d67cb5333b9993},
intrahash = {32502c56dae1078a702bb5ba4c04fa16},
journal = {CoRR},
keywords = {dblp},
timestamp = {2020-08-08T11:42:01.000+0200},
title = {Semantic based model of Conceptual Work Products for formal verification of complex interactive systems.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-01623},
volume = {abs/2008.01623},
year = 2020
}