%0 Conference Paper %1 conf/dsn/ChengCW00 %A Cheng, Betty H. C. %A Campbell, Laura A. %A Wang, Enoch Y. %B DSN %D 2000 %I IEEE Computer Society %K dblp %P 305-314 %T Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2000.html#ChengCW00 %@ 0-7695-0707-7

@inproceedings{conf/dsn/ChengCW00, added-at = {2023-03-24T00:00:00.000+0100}, author = {Cheng, Betty H. C. and Campbell, Laura A. and Wang, Enoch Y.}, biburl = {https://www.bibsonomy.org/bibtex/22f7ee33566f5435b672c8cd0c8422e03/dblp}, booktitle = {DSN}, crossref = {conf/dsn/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICDSN.2000.857554}, interhash = {bdd965bec9d7d47a5478b411f30834ba}, intrahash = {2f7ee33566f5435b672c8cd0c8422e03}, isbn = {0-7695-0707-7}, keywords = {dblp}, pages = {305-314}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:06:25.000+0200}, title = {Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2000.html#ChengCW00}, year = 2000 }