Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS)

5. LOMAPS 1996: Stockholm, Sweden

maintained by Schloss Dagstuhl LZI, founded at University of Trier