Search Sciweavers | Sciweavers

852 search results - page 22 / 171

» entcs 2010

click to vote

ENTCS
2002

82views more ENTCS 2002»

GSOS for Probabilistic Transition Systems

14 years 10 months ago

Download www.cs.indiana.edu

Falk Bartels

claim paper

Read More »

click to vote

ENTCS
2002

64views more ENTCS 2002»

Maximal Introspection of Agents

14 years 10 months ago

Download www2.imm.dtu.dk

Thomas Bolander

claim paper

Read More »

click to vote

ENTCS
2002

53views more ENTCS 2002»

Requirements for a Practical Network Event Recognition Language

14 years 10 months ago

Download www.diku.dk

Karthikeyan Bhargavan, Carl A. Gunter

claim paper

Read More »

click to vote

ENTCS
2002

64views more ENTCS 2002»

Liveness Checking as Safety Checking

14 years 10 months ago

Download www.schuppan.de

Armin Biere, Cyrille Artho, Viktor Schuppan

claim paper

Read More »

click to vote

ENTCS
2002

76views more ENTCS 2002»

Non-Uniform Hypercoherences

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers