[abc] fatesrv

From: Oege de Moor <Oege.de.Moor@comlab.ox.ac.uk>
Date: Fri Oct 06 2006 - 16:13:45 BST

The FATES/RV paper is now properly published, and the reference is

K. Havelund et al (Eds): FATES/RV 2006, LNCS 4262, pp. 20-39, 2006.

Can someone put this on aspectbench.org, please?

-Oege
Received on Fri Oct 06 16:13:47 2006

This message: [ Message body ]
Next message: Pavel Avgustinov: "Re: [abc] fatesrv"
Previous message: Ondrej Lhotak: "Re: [abc] Concrete operational semantics"
Next in thread: Pavel Avgustinov: "Re: [abc] fatesrv"
Reply: Pavel Avgustinov: "Re: [abc] fatesrv"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Tue Mar 06 2007 - 16:13:30 GMT