%0 Conference Paper %1 conf/ifip2-1/MollerPS93 %A Möller, Bernhard %A Partsch, Helmuth %A Schuman, Stephen A. %B Formal Program Development %D 1993 %E Möller, Bernhard %E Partsch, Helmuth %E Schuman, Stephen A. %I Springer %K dblp %P 1-6 %T Introduction. %U http://dblp.uni-trier.de/db/conf/ifip2-1/ifip2-1-1993.html#MollerPS93 %V 755 %@ 3-540-57499-9

@inproceedings{conf/ifip2-1/MollerPS93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Möller, Bernhard and Partsch, Helmuth and Schuman, Stephen A.}, biburl = {https://www.bibsonomy.org/bibtex/266df72ee347b40ea0afd791ee2470be0/dblp}, booktitle = {Formal Program Development}, crossref = {conf/ifip2-1/1993}, editor = {Möller, Bernhard and Partsch, Helmuth and Schuman, Stephen A.}, ee = {https://doi.org/10.1007/3-540-57499-9_14}, interhash = {64a0559fa4b58e4556e00688ffeb144e}, intrahash = {66df72ee347b40ea0afd791ee2470be0}, isbn = {3-540-57499-9}, keywords = {dblp}, pages = {1-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:29:19.000+0200}, title = {Introduction.}, url = {http://dblp.uni-trier.de/db/conf/ifip2-1/ifip2-1-1993.html#MollerPS93}, volume = 755, year = 1993 }