%0 Journal Article %1 journals/csur/SteffenM96 %A Steffen, Bernhard %A Margaria, Tiziana %D 1996 %J ACM Comput. Surv. %K dblp %N 4es %P 56 %T Method Engineering for Real-Life Concurrent Systems. %U http://dblp.uni-trier.de/db/journals/csur/csur28.html#SteffenM96 %V 28

@article{journals/csur/SteffenM96, added-at = {2018-11-06T00:00:00.000+0100}, author = {Steffen, Bernhard and Margaria, Tiziana}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22a80bf189d7c1d2b426a35ec2a2ca082/dblp}, ee = {https://doi.org/10.1145/242224.242296}, interhash = {1a267825ebc7857205eacdc57807010b}, intrahash = {2a80bf189d7c1d2b426a35ec2a2ca082}, journal = {ACM Comput. Surv.}, keywords = {dblp}, number = {4es}, pages = 56, timestamp = {2019-09-27T10:24:50.000+0200}, title = {Method Engineering for Real-Life Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/journals/csur/csur28.html#SteffenM96}, volume = 28, year = 1996 }