5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008) Conference

Scholarly Activity

related documents

Towards Efficient Verification of Systems with Dynamic Process Creation Conferences