%0 Journal Article %1 journals/jsa/CabodiCPR89 %A Cabodi, Gianpiero %A Camurati, Paolo %A Prinetto, Paolo %A Reorda, Matteo Sonza %D 1989 %J Microprocessing and Microprogramming %K dblp %N 4 %P 241-252 %T Expressing logical and temporal conditions in simulation environments: TPDL*. %U http://dblp.uni-trier.de/db/journals/jsa/jsa26.html#CabodiCPR89 %V 26

@article{journals/jsa/CabodiCPR89, added-at = {2022-10-02T00:00:00.000+0200}, author = {Cabodi, Gianpiero and Camurati, Paolo and Prinetto, Paolo and Reorda, Matteo Sonza}, biburl = {https://www.bibsonomy.org/bibtex/2fd1dbb4225df8355cee7f2c5b38525d0/dblp}, ee = {https://www.wikidata.org/entity/Q60247314}, interhash = {d166b8a02be3dba60fe3d3d9d661e0e1}, intrahash = {fd1dbb4225df8355cee7f2c5b38525d0}, journal = {Microprocessing and Microprogramming}, keywords = {dblp}, number = 4, pages = {241-252}, timestamp = {2024-04-09T07:10:46.000+0200}, title = {Expressing logical and temporal conditions in simulation environments: TPDL*.}, url = {http://dblp.uni-trier.de/db/journals/jsa/jsa26.html#CabodiCPR89}, volume = 26, year = 1989 }