APA (7th ed.) Citation

Teliopoulos, K., & Hudák, Š. Formal Specifications and Time Analysis of Systems.

Chicago Style (17th ed.) Citation

Teliopoulos, Kostas, and Štefan Hudák. Formal Specifications and Time Analysis of Systems.

MLA (9th ed.) Citation

Teliopoulos, Kostas, and Štefan Hudák. Formal Specifications and Time Analysis of Systems.

Warning: These citations may not always be 100% accurate.