%0 Conference Paper %1 conf/fm/AlbertACGGMPR15 %A Albert, Elvira %A Arenas, Puri %A Correas, Jesús %A Genaim, Samir %A Gómez-Zamalloa, Miguel %A Martin-Martin, Enrique %A Puebla, Germán %A Román-Díez, Guillermo %B FM %D 2015 %E Bjørner, Nikolaj S. %E de Boer, Frank S. %I Springer %K dblp %P 3-17 %T Resource Analysis: From Sequential to Concurrent and Distributed Programs. %U http://dblp.uni-trier.de/db/conf/fm/fm2015.html#AlbertACGGMPR15 %V 9109 %@ 978-3-319-19248-2

@inproceedings{conf/fm/AlbertACGGMPR15, added-at = {2024-02-05T00:00:00.000+0100}, author = {Albert, Elvira and Arenas, Puri and Correas, Jesús and Genaim, Samir and Gómez-Zamalloa, Miguel and Martin-Martin, Enrique and Puebla, Germán and Román-Díez, Guillermo}, biburl = {https://www.bibsonomy.org/bibtex/2f463898e7b88fbdc604434471e8be77d/dblp}, booktitle = {FM}, crossref = {conf/fm/2015}, editor = {Bjørner, Nikolaj S. and de Boer, Frank S.}, ee = {https://doi.org/10.1007/978-3-319-19249-9_1}, interhash = {d9e33c81dbf26185d87715719b39a168}, intrahash = {f463898e7b88fbdc604434471e8be77d}, isbn = {978-3-319-19248-2}, keywords = {dblp}, pages = {3-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {Resource Analysis: From Sequential to Concurrent and Distributed Programs.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2015.html#AlbertACGGMPR15}, volume = 9109, year = 2015 }