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 10 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 10 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 10 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 10 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers