%0 Journal Article %1 journals/stp/SteffenMC96 %A Steffen, Bernhard %A Margaria, Tiziana %A Claßen, Andreas %D 1996 %J Software - Concepts and Tools %K dblp %N 1 %P 13-25 %T Heterogeneous Analysis and Verification for Distributed Systems. %U http://dblp.uni-trier.de/db/journals/stp/stp17.html#SteffenMC96 %V 17

@article{journals/stp/SteffenMC96, added-at = {2002-01-03T00:00:00.000+0100}, author = {Steffen, Bernhard and Margaria, Tiziana and Claßen, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2956527b4dece48db72ff3fee827e6eda/dblp}, interhash = {4a3b729d0fb22ae24f1219c45452b41a}, intrahash = {956527b4dece48db72ff3fee827e6eda}, journal = {Software - Concepts and Tools}, keywords = {dblp}, number = 1, pages = {13-25}, timestamp = {2016-02-02T04:41:17.000+0100}, title = {Heterogeneous Analysis and Verification for Distributed Systems.}, url = {http://dblp.uni-trier.de/db/journals/stp/stp17.html#SteffenMC96}, volume = 17, year = 1996 }