Hartikainen, Eeva

name

• Hartikainen, Eeva

Authored works

• Design and verification of distributed broadcasting programs
• Specification and design of distributed programs that use broadcasting

Works contributed to

• Multi-process handshaking on broadcasting networks

Works about Hartikainen, Eeva