%0 Conference Paper %1 conf/fm/NistorABM14 %A Nistor, Ligia %A Aldrich, Jonathan %A Balzer, Stephanie %A Mehnert, Hannes %B FM %D 2014 %E Jones, Cliff B. %E Pihlajasaari, Pekka %E Sun, Jun %I Springer %K dblp %P 497-513 %T Object Propositions. %U http://dblp.uni-trier.de/db/conf/fm/fm2014.html#NistorABM14 %V 8442 %@ 978-3-319-06409-3

@inproceedings{conf/fm/NistorABM14, added-at = {2023-03-21T00:00:00.000+0100}, author = {Nistor, Ligia and Aldrich, Jonathan and Balzer, Stephanie and Mehnert, Hannes}, biburl = {https://www.bibsonomy.org/bibtex/2ce5d6f6aeb42c9c96485c3b4144d8bd4/dblp}, booktitle = {FM}, crossref = {conf/fm/2014}, editor = {Jones, Cliff B. and Pihlajasaari, Pekka and Sun, Jun}, ee = {https://doi.org/10.1007/978-3-319-06410-9_34}, interhash = {b83de2e4a630b5ad14ba6d7a1a00b31a}, intrahash = {ce5d6f6aeb42c9c96485c3b4144d8bd4}, isbn = {978-3-319-06409-3}, keywords = {dblp}, pages = {497-513}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:12:58.000+0200}, title = {Object Propositions.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2014.html#NistorABM14}, volume = 8442, year = 2014 }