%0 Conference Paper %1 conf/tacas/AlbertFR15 %A Albert, Elvira %A Fernández, Jesús Correas %A Román-Díez, Guillermo %B TACAS %D 2015 %E Baier, Christel %E Tinelli, Cesare %I Springer %K dblp %P 85-100 %T Non-cumulative Resource Analysis. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#AlbertFR15 %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/AlbertFR15, added-at = {2021-07-25T00:00:00.000+0200}, author = {Albert, Elvira and Fernández, Jesús Correas and Román-Díez, Guillermo}, biburl = {https://www.bibsonomy.org/bibtex/2f2b0b7e1235db0e6a429359286ed22a7/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-662-46681-0_6}, interhash = {3e78b37f904641f0b59e54c76592f0e6}, intrahash = {f2b0b7e1235db0e6a429359286ed22a7}, isbn = {978-3-662-46680-3}, keywords = {dblp}, pages = {85-100}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:35.000+0200}, title = {Non-cumulative Resource Analysis.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#AlbertFR15}, volume = 9035, year = 2015 }