%0 Conference Paper %1 conf/ifm/CiobanuL04 %A Ciobanu, Gabriel %A Lucanu, Dorel %B IFM %D 2004 %E Boiten, Eerke A. %E Derrick, John %E Smith, Graeme %I Springer %K dblp %P 307-327 %T Specification and Verification of Synchronizing Concurrent Objects. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2004.html#CiobanuL04 %V 2999 %@ 3-540-21377-5

@inproceedings{conf/ifm/CiobanuL04, added-at = {2020-12-29T00:00:00.000+0100}, author = {Ciobanu, Gabriel and Lucanu, Dorel}, biburl = {https://www.bibsonomy.org/bibtex/253c41f485568175d219ed870528c7a9f/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2004}, editor = {Boiten, Eerke A. and Derrick, John and Smith, Graeme}, ee = {https://doi.org/10.1007/978-3-540-24756-2_17}, interhash = {586c466098110e37ac3d629362baf2c9}, intrahash = {53c41f485568175d219ed870528c7a9f}, isbn = {3-540-21377-5}, keywords = {dblp}, pages = {307-327}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:46:09.000+0200}, title = {Specification and Verification of Synchronizing Concurrent Objects.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2004.html#CiobanuL04}, volume = 2999, year = 2004 }