Search Sciweavers | Sciweavers

852 search results - page 25 / 171

» entcs 2010

click to vote

ENTCS
2002

73views more ENTCS 2002»

A Conference Reviewing System in Mobile Maude

14 years 10 months ago

Download maude.sip.ucm.es

Francisco Durán, Alberto Verdejo

claim paper

Read More »

click to vote

ENTCS
2002

48views more ENTCS 2002»

Requirements, specifications, and minimal refinement

14 years 10 months ago

Download www.cs.bham.ac.uk

Nikos Gorogiannis, Mark Ryan

claim paper

Read More »

click to vote

ENTCS
2002

58views more ENTCS 2002»

Prefix and Projection onto State in Duration Calculus

14 years 10 months ago

Download www.math.bas.bg

Dimitar P. Guelev, Dang Van Hung

claim paper

Read More »

click to vote

ENTCS
2002

72views more ENTCS 2002»

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

14 years 10 months ago

Download waitaki.otago.ac.nz

James Harland, Michael Winikoff

claim paper

Read More »

click to vote

ENTCS
2002

80views more ENTCS 2002»

Comprehension for Coalgebras

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers