Šimoňák, S., & Hudák, Š. Formal methods for specification and analysis of time-critical systems.
Chicago Style (17th ed.) CitationŠimoňák, Slavomír, and Štefan Hudák. Formal Methods for Specification and Analysis of Time-critical Systems.
MLA (9th ed.) CitationŠimoňák, Slavomír, and Štefan Hudák. Formal Methods for Specification and Analysis of Time-critical Systems.
Warning: These citations may not always be 100% accurate.
