01
Process Algebra and Probabilistic Methods : Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
The earliest high-confidence catalog date in this author overview is 2003.