Quantitative Verification in Practice

Boudewijn R.H.M. Haverkort, Joost-Pieter Katoen, Kim G. Larsen

Research output: Other contribution

Fingerprint

Dive into the research topics of 'Quantitative Verification in Practice'. Together they form a unique fingerprint.

Computer Science

Keyphrases