%0 Conference Paper %1 conf/atva/AlbertFGM13 %A Albert, Elvira %A Flores-Montoya, Antonio %A Genaim, Samir %A Martin-Martin, Enrique %B ATVA %D 2013 %E Hung, Dang Van %E Ogawa, Mizuhito %I Springer %K dblp %P 349-364 %T Termination and Cost Analysis of Loops with Concurrent Interleavings. %U http://dblp.uni-trier.de/db/conf/atva/atva2013.html#AlbertFGM13 %V 8172 %@ 978-3-319-02443-1

@inproceedings{conf/atva/AlbertFGM13, added-at = {2022-01-03T00:00:00.000+0100}, author = {Albert, Elvira and Flores-Montoya, Antonio and Genaim, Samir and Martin-Martin, Enrique}, biburl = {https://www.bibsonomy.org/bibtex/2705436e16d48ae1b72a36903da2e5e2f/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2013}, editor = {Hung, Dang Van and Ogawa, Mizuhito}, ee = {https://doi.org/10.1007/978-3-319-02444-8_25}, interhash = {af835ef4d0891398937cbb44a2591a3e}, intrahash = {705436e16d48ae1b72a36903da2e5e2f}, isbn = {978-3-319-02443-1}, keywords = {dblp}, pages = {349-364}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:16:51.000+0200}, title = {Termination and Cost Analysis of Loops with Concurrent Interleavings.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2013.html#AlbertFGM13}, volume = 8172, year = 2013 }