ISIM

2007

Component Model with Support of Mobile Architectures

2006

Towards Verification of Systems of Asynchronous Concurrent Processes