scientific article; zbMATH DE number 2104629

From MaRDI portal

Revision as of 01:35, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4818743

Jump to:navigation, search

zbMath1083.68071MaRDI QIDQ4818743

Wojciech Penczek, Beata Konikowska

Publication date: 1 October 2004

Full work available at URL: http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=211

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

Mathematics Subject Classification ID

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

Related Items (3)

Model checking computation tree logic over finite lattices ⋮ Multi-valued model checking games ⋮ Abstraction and approximation in fuzzy temporal logics and models

This page was built for publication:

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