Computer Science Logic
From MaRDI portal
Publication:5311279
DOI10.1007/b100120zbMath1095.68107OpenAlexW2481899496MaRDI QIDQ5311279
Camillo Fiorentini, Guido Fiorino, Alessandro Avellone, Ugo Moscato
Publication date: 22 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100120
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication: Computer Science Logic
