scientific article; zbMATH DE number 1744967

zbMath0985.68519MaRDI QIDQ4531762

Luboš Brim, Jitka Stríbrná, Jiří Barnat

Publication date: 23 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2057/20570200

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) Distributed algorithms (68W15)

Related Items

Accelerating SpMV multiplication in probabilistic model checkers using GPUs, Model Checking of Biological Systems, Dealing with practical limitations of distributed timed model checking for timed automata, CTL model checking on a shared-memory architecture, Distributed breadth-first search LTL model checking, Unnamed Item, Unnamed Item, Unnamed Item