Go to the corresponding LIPIcs Volume Portal 
Groote, Jan Friso ; Willemse, Tim A. C.
pdfformat: 

@InProceedings{groote_et_al:LIPIcs.CONCUR.2023.28, author = {Groote, Jan Friso and Willemse, Tim A. C.}, title = {{Real Equation Systems with Alternating FixedPoints}}, booktitle = {34th International Conference on Concurrency Theory (CONCUR 2023)}, pages = {28:128:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772990}, ISSN = {18688969}, year = {2023}, volume = {279}, editor = {P\'{e}rez, Guillermo A. and Raskin, JeanFran\c{c}ois}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2023/19022}, URN = {urn:nbn:de:0030drops190225}, doi = {10.4230/LIPIcs.CONCUR.2023.28}, annote = {Keywords: Real Equation System, Solution method, Gau{\ss}elimination, Model checking, Quantitative modal mucalculus} }
Keywords:  Real Equation System, Solution method, Gaußelimination, Model checking, Quantitative modal mucalculus  
Collection:  34th International Conference on Concurrency Theory (CONCUR 2023)  
Issue Date:  2023  
Date of publication:  07.09.2023 