by SEGOUFIN, Luc
Published in Lecture notes in computer science (2006)

by HENZINGER, Thomas A, PITERMAN, Nir
Published in Lecture notes in computer science (2006)

by CHATTERJEE, Krishnendu, DOYEN, Laurent, HENZINGER, Thomas A, RASKIN, Jean-Francois
Published in Lecture notes in computer science (2006)

by ten Cate, Balder, Franceschet, Massimo
Published in Lecture notes in computer science (2005)

by KIERONSKI, Emanuel
Published in Lecture notes in computer science (2005)

by Tiwari, Ashish
Published in Lecture notes in computer science (2005)

by Godoy, Guillem, Tiwari, Ashish
Published in Lecture notes in computer science (2005)

by Chen, Hubie, Dalmau, Víctor
Published in Lecture notes in computer science (2005)

by Bagan, Guillaume
Published in Lecture notes in computer science (2006)

by MELLIES, Paul-André
Published in Lecture notes in computer science (2006)

by Blanqui, Frédéric
Published in Lecture notes in computer science (2005)

by Curien, Pierre-Louis, Faggian, Claudia
Published in Lecture notes in computer science (2005)

by SCHEWE, Sven, FINKBEINER, Bernd
Published in Lecture notes in computer science (2006)

by Haghverdi, Esfandiar, Scott, Philip J.
Published in Lecture notes in computer science (2005)

by RABINOVICH, Alexander, THOMAS, Wolfgang
Published in Lecture notes in computer science (2006)

by Severi, Paula, de Vries, Fer-Jan
Published in Lecture notes in computer science (2005)

by Lutz, Carsten
Published in Lecture notes in computer science (2005)

by Murlak, Filip
Published in Lecture notes in computer science (2005)

by ARTEMOV, Sergei, KUZNETS, Roman
Published in Lecture notes in computer science (2006)

by Hernest, Mircea-Dan
Published in Lecture notes in computer science (2005)