Sciweavers

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