%0 Journal Article %1 journals/tse/HarelLNPPSST90 %A Harel, David %A Lachover, Hagi %A Naamad, Amnon %A Pnueli, Amir %A Politi, Michal %A Sherman, Rivi %A Shtull-Trauring, Aharon %A Trakhtenbrot, Mark B. %D 1990 %J IEEE Trans. Software Eng. %K dblp %N 4 %P 403-414 %T STATEMATE: A Working Environment for the Development of Complex Reactive Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse16.html#HarelLNPPSST90 %V 16

@article{journals/tse/HarelLNPPSST90, added-at = {2015-12-10T00:00:00.000+0100}, author = {Harel, David and Lachover, Hagi and Naamad, Amnon and Pnueli, Amir and Politi, Michal and Sherman, Rivi and Shtull-Trauring, Aharon and Trakhtenbrot, Mark B.}, biburl = {https://www.bibsonomy.org/bibtex/222668276e8ef11842a80d2d045397554/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.54292}, interhash = {175073dd262a7a8f454e3b019a8be6ee}, intrahash = {22668276e8ef11842a80d2d045397554}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 4, pages = {403-414}, timestamp = {2015-12-12T11:54:00.000+0100}, title = {STATEMATE: A Working Environment for the Development of Complex Reactive Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse16.html#HarelLNPPSST90}, volume = 16, year = 1990 }