%0 Conference Paper %1 conf/compsac/KungOL96 %A Kung, David Chenho %A Oksanen, Scott R. %A Lin, Jyhjong %B COMPSAC %D 1996 %I IEEE Computer Society %K dblp %P 490-495 %T An Object-Oriented Real Time Systems Modeling and Verification Methodology. %U http://dblp.uni-trier.de/db/conf/compsac/compsac1996.html#KungOL96 %@ 0-8186-7579-9

@inproceedings{conf/compsac/KungOL96, added-at = {2023-03-24T00:00:00.000+0100}, author = {Kung, David Chenho and Oksanen, Scott R. and Lin, Jyhjong}, biburl = {https://www.bibsonomy.org/bibtex/2a9f38ba0e6c62750f3c51c886d199310/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/1996}, ee = {https://doi.ieeecomputersociety.org/10.1109/CMPSAC.1996.544618}, interhash = {099bbcc94f2deccd3031b5cacbacb7f9}, intrahash = {a9f38ba0e6c62750f3c51c886d199310}, isbn = {0-8186-7579-9}, keywords = {dblp}, pages = {490-495}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:28:55.000+0200}, title = {An Object-Oriented Real Time Systems Modeling and Verification Methodology.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1996.html#KungOL96}, year = 1996 }