Search Sciweavers | Sciweavers

391 search results - page 22 / 79

» Compositionality for Probabilistic Automata

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

15 years 9 months ago

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

click to vote

LICS
2005
IEEE

76views Automated Reasoning» more LICS 2005»

15 years 8 months ago

Javier Esparza, Antonín Kucera, Richard May...

claim paper

Read More »

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

15 years 8 months ago

Tomás Brázdil, Antonín Kucera...

claim paper

Read More »

click to vote

SSPR
2004
Springer

75views Pattern Recognition» more SSPR 2004»

15 years 8 months ago

Christopher Kermorvant, Colin de la Higuera, Pierr...

claim paper

Read More »

106

ICALP
2003
Springer

96views Programming Languages» more ICALP 2003»

15 years 8 months ago

Sciweavers