scientific article; zbMATH DE number 5042673

From MaRDI portal

Revision as of 03:00, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

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

Publication:5480169

Jump to:navigation, search

zbMath1096.68673MaRDI QIDQ5480169

No author found.

Publication date: 26 July 2006

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Formal Verification of Concurrent Systems via Directed Model Checking ⋮ Abstract reduction in directed model checking CCS processes

This page was built for publication:

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