FAC 1998 | Sciweavers

In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...

Henri Korver, M. P. A. Sellink

claim paper

Read More »

98

click to vote

FAC
1998

64views more FAC 1998»

Formalization of Time and Space

15 years 2 months ago

Download www.eecs.ucf.edu

Eric C. R. Hehner

claim paper

Read More »

92

click to vote

FAC
1998

68views more FAC 1998»

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

15 years 2 months ago

Download www.cs.cmu.edu

Jürgen Dingel, David Garlan, Somesh Jha, Davi...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers