Sciweavers

56 search results - page 2 / 12
» acta 2007
Sort
View
ACTA
2004
67views more  ACTA 2004»
13 years 4 months ago
Trajectory-based codes
Michael Domaratzki
ACTA
2002
83views more  ACTA 2002»
13 years 4 months ago
Words, univalent factors, and boxes
Arturo Carpi, Aldo de Luca, Stefano Varricchio
ACTA
2002
82views more  ACTA 2002»
13 years 4 months ago
Axiomatising timed automata
Huimin Lin, Wang Yi
ACTA
1999
73views more  ACTA 1999»
13 years 4 months ago
Comparing Expressibility of Normed BPA and Normed BPP Processes
Ivana Cerná, Mojmír Kretínsk&...