Braberman - Formal Modeling and Analysis of Timed Systems 11th Inter - X555z

Sankaranarayanan - Formal Modeling and Analysis of Timed Systems 13t - X555z

Fahrenberg - Formal Modeling and Analysis of Timed Systems 9th Inter - X555z

Liu - Automated Technology for Verification and Analysis 7th Internat - X555z

Jurdzinski - Formal Modeling and Analysis of Timed Systems 10th Inte - X555z

Christen - Biochemistry of Vitamin B6 Proceedings of the 7th Internat - X555z

Formal Modeling and Analysis of Timed Systems - 9783319657646

Haugen - System Analysis and Modeling Theory and Practice 7th Inter - X555z