%0 Journal Article %1 journals/ijseke/CiapessoniCMRC96 %A Ciapessoni, Emanuele %A Corsetti, Edoardo %A Migliorati, Manlio %A Ratto, Elena %A Crivelli, Ernani %D 1996 %J Int. J. Softw. Eng. Knowl. Eng. %K dblp %N 1 %P 21-61 %T Specifying Industrial Real-Time Systems with a Temporal Logic Framework. %U http://dblp.uni-trier.de/db/journals/ijseke/ijseke6.html#CiapessoniCMRC96 %V 6

@article{journals/ijseke/CiapessoniCMRC96, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ciapessoni, Emanuele and Corsetti, Edoardo and Migliorati, Manlio and Ratto, Elena and Crivelli, Ernani}, biburl = {https://www.bibsonomy.org/bibtex/2fb9144828e3dcdc7276a3237641b1d8a/dblp}, ee = {https://doi.org/10.1142/S021819409600003X}, interhash = {f68905196fc6956aba42834ae13bca08}, intrahash = {fb9144828e3dcdc7276a3237641b1d8a}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, keywords = {dblp}, number = 1, pages = {21-61}, timestamp = {2024-04-09T07:21:42.000+0200}, title = {Specifying Industrial Real-Time Systems with a Temporal Logic Framework.}, url = {http://dblp.uni-trier.de/db/journals/ijseke/ijseke6.html#CiapessoniCMRC96}, volume = 6, year = 1996 }