%0 Journal Article %1 journals/rts/AttouiS96 %A Attoui, Ammar %A Schneider, Michel %D 1996 %J Real Time Syst. %K dblp %N 1 %P 5-22 %T A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic. %U http://dblp.uni-trier.de/db/journals/rts/rts10.html#AttouiS96 %V 10

@article{journals/rts/AttouiS96, added-at = {2020-09-10T00:00:00.000+0200}, author = {Attoui, Ammar and Schneider, Michel}, biburl = {https://www.bibsonomy.org/bibtex/2fe6f5fcc749cc7fa06d72b6e11b9f8cb/dblp}, ee = {https://doi.org/10.1007/BF00357881}, interhash = {c786ed02f70ecf3ac6b7fe01f80bea82}, intrahash = {fe6f5fcc749cc7fa06d72b6e11b9f8cb}, journal = {Real Time Syst.}, keywords = {dblp}, number = 1, pages = {5-22}, timestamp = {2020-09-11T11:43:19.000+0200}, title = {A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic.}, url = {http://dblp.uni-trier.de/db/journals/rts/rts10.html#AttouiS96}, volume = 10, year = 1996 }