Publication:4531762
From MaRDI portal
zbMath0985.68519MaRDI QIDQ4531762
Jiří Barnat, Luboš Brim, Jitka Stríbrná
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, 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