NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (2)

cs.CE2010

Lumpability Abstractions of Rule-based Systems

Jerome Feret, Thomas Henzinger, Heinz Koeppl +1

cs.PL2011

Quantitative Synthesis for Concurrent Programs

Pavol Cerny, Krishnendu Chatterjee, Thomas Henzinger +2