%0 Conference Paper %1 conf/ftdcs/UrbanJ95 %A Urban, Joseph E. %A Joo, Hankyu %B FTDCS %D 1995 %I IEEE Computer Society %K dblp %P 257-265 %T Executable specifications for distributed software systems. %U http://dblp.uni-trier.de/db/conf/ftdcs/ftdcs1995.html#UrbanJ95 %@ 0-8186-7125-4

@inproceedings{conf/ftdcs/UrbanJ95, added-at = {2023-03-24T00:00:00.000+0100}, author = {Urban, Joseph E. and Joo, Hankyu}, biburl = {https://www.bibsonomy.org/bibtex/2d0c404af51457043a3890025b1e1ff53/dblp}, booktitle = {FTDCS}, crossref = {conf/ftdcs/1995}, ee = {https://doi.ieeecomputersociety.org/10.1109/FTDCS.1995.524993}, interhash = {9070553f958c2779a93abd8aedaa521d}, intrahash = {d0c404af51457043a3890025b1e1ff53}, isbn = {0-8186-7125-4}, keywords = {dblp}, pages = {257-265}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:20:13.000+0200}, title = {Executable specifications for distributed software systems.}, url = {http://dblp.uni-trier.de/db/conf/ftdcs/ftdcs1995.html#UrbanJ95}, year = 1995 }