%0 Journal Article %1 journals/tse/PelegD00 %A Peleg, Mor %A Dori, Dov %D 2000 %J IEEE Trans. Software Eng. %K dblp %N 8 %P 742-759 %T The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods. %U http://dblp.uni-trier.de/db/journals/tse/tse26.html#PelegD00 %V 26

@article{journals/tse/PelegD00, added-at = {2019-09-16T00:00:00.000+0200}, author = {Peleg, Mor and Dori, Dov}, biburl = {https://www.bibsonomy.org/bibtex/20823d5356dfbf0294ff84fdc920d91c5/dblp}, ee = {https://www.wikidata.org/entity/Q57484435}, interhash = {65a84d4c68ba757ce42fa5afd61e9a95}, intrahash = {0823d5356dfbf0294ff84fdc920d91c5}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 8, pages = {742-759}, timestamp = {2019-09-17T11:54:49.000+0200}, title = {The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse26.html#PelegD00}, volume = 26, year = 2000 }