scientific article; zbMATH DE number 7356923

zbMATH Open1464.68205arXiv1306.2695MaRDI QIDQ4992525

M. Kwiatkowska, Holger Giese, Tingting Han, Christian Krause

Publication date: 9 June 2021

Full work available at URL: https://arxiv.org/abs/1306.2695

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Refinement and Consistency of Timed Modal Specifications

This page was built for publication:

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