Publication:4531762
From MaRDI portal
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
68Q60: Specification and verification (program logics, model checking, etc.)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68W15: Distributed algorithms
Related Items
Model Checking of Biological Systems, Accelerating SpMV multiplication in probabilistic model checkers using GPUs, 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