%0 Journal Article %1 journals/tse/Coen-PorisiniGK97 %A Coen-Porisini, Alberto %A Ghezzi, Carlo %A Kemmerer, Richard A. %D 1997 %J IEEE Trans. Software Eng. %K dblp %N 9 %P 572-598 %T Specification of Realtime Systems Using ASTRAL. %U http://dblp.uni-trier.de/db/journals/tse/tse23.html#Coen-PorisiniGK97 %V 23

@article{journals/tse/Coen-PorisiniGK97, added-at = {2018-11-14T00:00:00.000+0100}, author = {Coen-Porisini, Alberto and Ghezzi, Carlo and Kemmerer, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/281df4ed98dcdfe605b473b32f734ceee/dblp}, ee = {https://www.wikidata.org/entity/Q56959816}, interhash = {47b5416e9ca2b9b6942a47a52bd8f520}, intrahash = {81df4ed98dcdfe605b473b32f734ceee}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 9, pages = {572-598}, timestamp = {2018-11-15T14:48:18.000+0100}, title = {Specification of Realtime Systems Using ASTRAL.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse23.html#Coen-PorisiniGK97}, volume = 23, year = 1997 }