Synthesizing distinguishing formulae for real time systems -extended abstract

DOI10.1007/3-540-60246-1_157zbMATH Open1193.68162OpenAlexW1552719844MaRDI QIDQ3569042FDOQ3569042

Jens Chr. Godskesen, Kim G. Larsen

Publication date: 17 June 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60246-1_157

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Synthesizing distinguishing formulae for real time systems -extended abstract

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569042)