%0 Conference Paper %1 conf/dics/BaarMFS06 %A Baar, Thomas %A Markovic, Slavisa %A Fondement, Frédéric %A Strohmeier, Alfred %B Research Results of the DICS Program %D 2006 %E Kohlas, Jürg %E Meyer, Bertrand %E Schiper, André %I Springer %K %P 127-144 %T Definition and Correct Refinement of Operation Specifications. %U http://dblp.uni-trier.de/db/conf/dics/dics2006.html#BaarMFS06 %V 4028 %@ 3-540-36821-3

@inproceedings{conf/dics/BaarMFS06, added-at = {2023-12-13T02:21:09.000+0100}, author = {Baar, Thomas and Markovic, Slavisa and Fondement, Frédéric and Strohmeier, Alfred}, biburl = {https://www.bibsonomy.org/bibtex/2ba1a2a62fdf6d68ea8e35ef2f66be7d9/admin}, booktitle = {Research Results of the DICS Program}, crossref = {conf/dics/2006}, editor = {Kohlas, Jürg and Meyer, Bertrand and Schiper, André}, ee = {https://doi.org/10.1007/11808107_6}, interhash = {7e1dadc85bb8203572fe14059fc7a942}, intrahash = {ba1a2a62fdf6d68ea8e35ef2f66be7d9}, isbn = {3-540-36821-3}, keywords = {}, pages = {127-144}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:21:09.000+0100}, title = {Definition and Correct Refinement of Operation Specifications.}, url = {http://dblp.uni-trier.de/db/conf/dics/dics2006.html#BaarMFS06}, volume = 4028, year = 2006 }