scientific article
From MaRDI portal
Publication:2852020
zbMath1273.68255MaRDI QIDQ2852020
Stefan Edelkamp, Shahid Jabbar
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000661
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (3)
Fast and accurate data-driven goal recognition using process mining techniques ⋮ Directed Unfolding of Petri Nets ⋮ Automated planning as an early verification tool for distributed control
This page was built for publication: