%0 Journal Article %1 journals/jsa/KloosMVFL93 %A Kloos, Carlos Delgado %A de Miguel Moro, Tomás Pedro %A Valladares, Tomás Robles %A Filho, Guadalberto Rabay %A López, Andrés Marín %D 1993 %J Microprocess. Microprogramming %K %N 1-5 %P 589-596 %T VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project. %U http://dblp.uni-trier.de/db/journals/jsa/jsa38.html#KloosMVFL93 %V 38

@article{journals/jsa/KloosMVFL93, added-at = {2023-12-12T23:43:19.000+0100}, author = {Kloos, Carlos Delgado and de Miguel Moro, Tomás Pedro and Valladares, Tomás Robles and Filho, Guadalberto Rabay and López, Andrés Marín}, biburl = {https://www.bibsonomy.org/bibtex/20c8d6be474e79b12bf0fc38a40233519/admin}, ee = {https://doi.org/10.1016/0165-6074(93)90199-U}, interhash = {594ead3992410398882ab0b0937e5606}, intrahash = {0c8d6be474e79b12bf0fc38a40233519}, journal = {Microprocess. Microprogramming}, keywords = {}, number = {1-5}, pages = {589-596}, timestamp = {2023-12-12T23:43:19.000+0100}, title = {VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project.}, url = {http://dblp.uni-trier.de/db/journals/jsa/jsa38.html#KloosMVFL93}, volume = 38, year = 1993 }