Search Sciweavers | Sciweavers

33 search results - page 1 / 7

» concur 2006

click to vote

CONCUR
2006
Springer

91views Distributed And Parallel Com...» more CONCUR 2006»

Generic Forward and Backward Simulations

13 years 8 months ago

Download unit.aist.go.jp

Ichiro Hasuo

claim paper

Read More »

click to vote

CONCUR
2006
Springer

66views Distributed And Parallel Com...» more CONCUR 2006»

Second-Order Simple Grammars

13 years 8 months ago

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

click to vote

CONCUR
2006
Springer

89views Distributed And Parallel Com...» more CONCUR 2006»

Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

13 years 8 months ago

Download www.cs.huji.ac.il

Orna Kupferman, Sarai Sheinvald-Faragy

claim paper

Read More »

click to vote

CONCUR
2006
Springer

81views Distributed And Parallel Com...» more CONCUR 2006»

Sortings for Reactive Systems

13 years 8 months ago

Download www.itu.dk

Lars Birkedal, Søren Debois, Thomas T. Hild...

claim paper

Read More »

click to vote

CONCUR
2006
Springer

112views Distributed And Parallel Com...» more CONCUR 2006»

Reachability in Recursive Markov Decision Processes

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers