%0 Conference Paper %1 conf/birthday/Bacci0JL22 %A Bacci, Giorgio %A Bacci, Giovanni %A Jensen, Mathias Claus %A Larsen, Kim G. %B Principles of Systems Design %D 2022 %E Raskin, Jean-François %E Chatterjee, Krishnendu %E Doyen, Laurent %E Majumdar, Rupak %I Springer %K dblp %P 438-455 %T Convex Lattice Equation Systems. %U http://dblp.uni-trier.de/db/conf/birthday/henzinger2022.html#Bacci0JL22 %V 13660 %@ 978-3-031-22337-2

@inproceedings{conf/birthday/Bacci0JL22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Bacci, Giorgio and Bacci, Giovanni and Jensen, Mathias Claus and Larsen, Kim G.}, biburl = {https://www.bibsonomy.org/bibtex/21aa2d847182b0a0716a11886a1f06c1c/dblp}, booktitle = {Principles of Systems Design}, crossref = {conf/birthday/2022henzinger}, editor = {Raskin, Jean-François and Chatterjee, Krishnendu and Doyen, Laurent and Majumdar, Rupak}, ee = {https://doi.org/10.1007/978-3-031-22337-2_21}, interhash = {e058d7de34e1827d73f50762930b40fc}, intrahash = {1aa2d847182b0a0716a11886a1f06c1c}, isbn = {978-3-031-22337-2}, keywords = {dblp}, pages = {438-455}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:34:06.000+0200}, title = {Convex Lattice Equation Systems.}, url = {http://dblp.uni-trier.de/db/conf/birthday/henzinger2022.html#Bacci0JL22}, volume = 13660, year = 2022 }