Sarah Liebert

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

2 Sarah Liebert: Modularization and Priorities. Theory and Formal Methods 1994: 167-179

1993

1 Sarah Liebert: A Complete Axiom System for CCS with a Stability Operator. Theory and Formal Methods 1993: 226-234

1994
2		Sarah Liebert: Modularization and Priorities. Theory and Formal Methods 1994: 167-179
1993
1		Sarah Liebert: A Complete Axiom System for CCS with a Stability Operator. Theory and Formal Methods 1993: 226-234