%0 Conference Paper %1 conf/tools/DurrG94 %A Dürr, Eugène %A Goldsack, S. J. %B TOOLS (13) %D 1994 %E Magnusson, Boris %E Meyer, Bertrand %E Nerson, Jean-Marc %E Perrot, Jean-François %I Prentice Hall %K dblp %P 515 %T Rigorous Development of Concurrent O-O Systems. %U http://dblp.uni-trier.de/db/conf/tools/tools13-1994.html#DurrG94 %@ 0-13-350539-1

@inproceedings{conf/tools/DurrG94, added-at = {2007-04-25T00:00:00.000+0200}, author = {Dürr, Eugène and Goldsack, S. J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d6ee06064f9e6ab2fb4cc2f9d470cb0f/dblp}, booktitle = {TOOLS (13)}, crossref = {conf/tools/13-1994}, editor = {Magnusson, Boris and Meyer, Bertrand and Nerson, Jean-Marc and Perrot, Jean-François}, interhash = {5b19a64b9ce6b07ac763810160fef64f}, intrahash = {d6ee06064f9e6ab2fb4cc2f9d470cb0f}, isbn = {0-13-350539-1}, keywords = {dblp}, pages = 515, publisher = {Prentice Hall}, timestamp = {2016-02-02T15:05:35.000+0100}, title = {Rigorous Development of Concurrent O-O Systems.}, url = {http://dblp.uni-trier.de/db/conf/tools/tools13-1994.html#DurrG94}, year = 1994 }