Maximal causality analysis (2005)

by K Schneider, J Brandt, T Schuele, T Tuerk
Venue:Application of Concurrency to System Design (ACSD