Sarah Liebert

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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