%0 Conference Paper %1 conf/sigada/GedelaSX99 %A Gedela, Ravi K. %A Shatz, Sol M. %A Xu, Haiping %B SIGAda %D 1999 %E Hart, Hal %E Taft, S. Tucker %E Gasperoni, Franco %I ACM %K dblp %P 211-220 %T Formal modeling of synchronization methods for concurrent objects in Ada 95. %U http://dblp.uni-trier.de/db/conf/sigada/sigada1999.html#GedelaSX99 %@ 1-58113-127-5

@inproceedings{conf/sigada/GedelaSX99, added-at = {2019-08-08T00:00:00.000+0200}, author = {Gedela, Ravi K. and Shatz, Sol M. and Xu, Haiping}, biburl = {https://www.bibsonomy.org/bibtex/2a5525757f3d366353e4383059b061966/dblp}, booktitle = {SIGAda}, crossref = {conf/sigada/1999}, editor = {Hart, Hal and Taft, S. Tucker and Gasperoni, Franco}, ee = {https://doi.org/10.1145/319294.319325}, interhash = {9a1c750f5abe38bb2b28ed8833b21fda}, intrahash = {a5525757f3d366353e4383059b061966}, isbn = {1-58113-127-5}, keywords = {dblp}, pages = {211-220}, publisher = {ACM}, timestamp = {2024-04-09T17:43:18.000+0200}, title = {Formal modeling of synchronization methods for concurrent objects in Ada 95.}, url = {http://dblp.uni-trier.de/db/conf/sigada/sigada1999.html#GedelaSX99}, year = 1999 }