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/ijseke/KazmierczakDSW00
%A Kazmierczak, Edmund
%A Dart, Philip W.
%A Sterling, Leon
%A Winikoff, Michael
%D 2000
%J International Journal of Software Engineering and Knowledge Engineering
%K dblp
%N 2
%P 251-273
%T Verifying Requirements Through Mathematical Modelling and Animation.
%U http://dblp.uni-trier.de/db/journals/ijseke/ijseke10.html#KazmierczakDSW00
%V 10
@article{journals/ijseke/KazmierczakDSW00,
added-at = {2011-06-22T00:00:00.000+0200},
author = {Kazmierczak, Edmund and Dart, Philip W. and Sterling, Leon and Winikoff, Michael},
biburl = {https://www.bibsonomy.org/bibtex/287610f179431e91fa2174bf3f000b5ab/dblp},
ee = {http://dx.doi.org/10.1142/S0218194000000146},
interhash = {5d3f829cec9d0597b97a5fe8758b5f7c},
intrahash = {87610f179431e91fa2174bf3f000b5ab},
journal = {International Journal of Software Engineering and Knowledge Engineering},
keywords = {dblp},
number = 2,
pages = {251-273},
timestamp = {2011-06-23T11:32:47.000+0200},
title = {Verifying Requirements Through Mathematical Modelling and Animation.},
url = {http://dblp.uni-trier.de/db/journals/ijseke/ijseke10.html#KazmierczakDSW00},
volume = 10,
year = 2000
}