%0 Conference Paper %1 conf/fm/Weber91 %A Weber, Matthias %B VDM Europe (1) %D 1991 %E Prehn, Søren %E Toetenel, W. J. %I Springer %K dblp %P 406-427 %T Deriving Transivity of VDM-Reification in DEVA. %U http://dblp.uni-trier.de/db/conf/fm/vdme1991-1.html#Weber91 %V 551 %@ 3-540-54834-3

@inproceedings{conf/fm/Weber91, added-at = {2019-03-18T00:00:00.000+0100}, author = {Weber, Matthias}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/277c3912fccb9ee19c6549a59f2efde28/dblp}, booktitle = {VDM Europe (1)}, crossref = {conf/fm/1991-1}, editor = {Prehn, Søren and Toetenel, W. J.}, ee = {https://doi.org/10.1007/3-540-54834-3_25}, interhash = {3df7e12c8911f796f9cebd7a75e4ca9a}, intrahash = {77c3912fccb9ee19c6549a59f2efde28}, isbn = {3-540-54834-3}, keywords = {dblp}, pages = {406-427}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:51:56.000+0200}, title = {Deriving Transivity of VDM-Reification in DEVA.}, url = {http://dblp.uni-trier.de/db/conf/fm/vdme1991-1.html#Weber91}, volume = 551, year = 1991 }