Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}