by Zbigniew Huzar
No reviews yet. Be the first!
LOTOS
Software Engineering Techniques
Verification of systems and circuits usi...
The Formal description technique Lotos
Concurrency theory
LOTOSphere
The OSI95 transport service with multime...
Communication protocol specification and...