T
Tomasz Janowski
4 works on record
Works

Specification case studies in RAISE
Bisimulation and fault-tolerance
Bisimulation and fault-tolerance
1995
Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance
Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance
Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance
Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance