Analysis of Interface Automata with On-Demand Replication

Analysis of Interface Automata with On-Demand Replication

Author

Daniel Jakub

Supervisor

KofroĊˆ Jan

About the project

Year

2013

Share