%0 Conference Paper %1 conf/ecrts/BreuerMSMK96 %A Breuer, Peter T. %A Madrid, Natividad Martínez %A Sánchez, Luis %A Marín, Andrés %A Kloos, Carlos Delgado %B RTS %D 1996 %I IEEE Computer Society %K %P 200-204 %T A Formal Method for Specification and Refinement of Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/ecrts/rts1996.html#BreuerMSMK96 %@ 0-8186-7496-2

@inproceedings{conf/ecrts/BreuerMSMK96, added-at = {2023-12-12T18:01:44.000+0100}, author = {Breuer, Peter T. and Madrid, Natividad Martínez and Sánchez, Luis and Marín, Andrés and Kloos, Carlos Delgado}, biburl = {https://www.bibsonomy.org/bibtex/2ed0c8ae9b57c9a8c18f8ac6bf59fbe64/admin}, booktitle = {RTS}, crossref = {conf/ecrts/1996}, ee = {http://doi.ieeecomputersociety.org/10.1109/EMWRTS.1996.557891}, interhash = {0c5c1a021a3d382d2d86bb09f0219024}, intrahash = {ed0c8ae9b57c9a8c18f8ac6bf59fbe64}, isbn = {0-8186-7496-2}, keywords = {}, pages = {200-204}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:01:44.000+0100}, title = {A Formal Method for Specification and Refinement of Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/ecrts/rts1996.html#BreuerMSMK96}, year = 1996 }