%0 Journal Article %1 journals/tse/HeimdahlL96 %A Heimdahl, Mats Per Erik %A Leveson, Nancy G. %D 1996 %J IEEE Trans. Software Eng. %K dblp %N 6 %P 363-377 %T Completeness and Consistency in Hierarchical State-Based Requirements. %U http://dblp.uni-trier.de/db/journals/tse/tse22.html#HeimdahlL96 %V 22

@article{journals/tse/HeimdahlL96, added-at = {2015-12-10T00:00:00.000+0100}, author = {Heimdahl, Mats Per Erik and Leveson, Nancy G.}, biburl = {https://www.bibsonomy.org/bibtex/218e2355c4a56fd0669dfcab55481e9a8/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.508311}, interhash = {a2615d4836a242589141568d242cb3d1}, intrahash = {18e2355c4a56fd0669dfcab55481e9a8}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 6, pages = {363-377}, timestamp = {2015-12-12T11:52:21.000+0100}, title = {Completeness and Consistency in Hierarchical State-Based Requirements.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse22.html#HeimdahlL96}, volume = 22, year = 1996 }