Dein Suchergebnis zum Thema: Z������������������������������������������������������rich

Quesel, "Syspect – Modelling, Specifying, and Verifying Real-Time Systems with Rich

Olderog, "Automatic Verification of Real-Time Systems with Rich Data — An Overview

Olderog},   title = {Automatic Verification of Real-Time Systems with Rich Data

Z., Cordes, D. B., van der Vlugt, J. I., & Kamer, P. C. J.

Fried­rich Jah­res­heft XXXX (S. 52–56). Han­no­ver: Fried­rich Ver­lag.