Fogel, J. Concurrent systems: Specification and verification of some real-time control properties.
Chicago Style (17th ed.) CitationFogel, Jaroslav. Concurrent Systems: Specification and Verification of Some Real-time Control Properties.
MLA (9th ed.) CitationFogel, Jaroslav. Concurrent Systems: Specification and Verification of Some Real-time Control Properties.
Warning: These citations may not always be 100% accurate.


