Synthesizing distinguishing formulae for real time systems -extended abstract

DOI10.1007/3-540-60246-1_157MaRDI QIDQ3569042zbMATH OpenOpenAlexFDO

Authors 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)