scientific article

From MaRDI portal

Publication:3152932

Jump to:navigation, search

zbMath1004.68092MaRDI QIDQ3152932

E. N. Bozhenkova

Publication date: 3 November 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

timed modal logic testing equivalence constructing a characteristic formula timed event structures

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Composition methods for constructing characteristic formulas for dense-time models

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3152932&oldid=16244162"