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/ACMse/BhowmikNA10
%A Bhowmik, Tanmay
%A Niu, Nan
%A Allen, Edward B.
%B ACM Southeast Regional Conference
%D 2010
%E Cunningham, H. Conrad
%E Ruth, Paul
%E Kraft, Nicholas A.
%I ACM
%K dblp
%P 58
%T Modular development and verification of domain requirements via model checking.
%U http://dblp.uni-trier.de/db/conf/ACMse/ACMse2010.html#BhowmikNA10
%@ 978-1-4503-0064-3
@inproceedings{conf/ACMse/BhowmikNA10,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Bhowmik, Tanmay and Niu, Nan and Allen, Edward B.},
biburl = {https://www.bibsonomy.org/bibtex/20581ca87885708cf02e90ee206597eda/dblp},
booktitle = {ACM Southeast Regional Conference},
crossref = {conf/ACMse/2010},
editor = {Cunningham, H. Conrad and Ruth, Paul and Kraft, Nicholas A.},
ee = {https://doi.org/10.1145/1900008.1900087},
interhash = {ef00dc93fd341ef2537a783a7916b399},
intrahash = {0581ca87885708cf02e90ee206597eda},
isbn = {978-1-4503-0064-3},
keywords = {dblp},
pages = 58,
publisher = {ACM},
timestamp = {2024-04-09T14:12:36.000+0200},
title = {Modular development and verification of domain requirements via model checking.},
url = {http://dblp.uni-trier.de/db/conf/ACMse/ACMse2010.html#BhowmikNA10},
year = 2010
}