scientific article
From MaRDI portal
Publication:2849548
zbMath1272.68164MaRDI QIDQ2849548
Martin Leucker, M. Saxena, Therese Berg, Bengt Jonsson
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104053216
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computational learning theory (68Q32) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee ⋮ Learning Meets Verification ⋮ Active learning of nondeterministic finite state machines ⋮ Compositional CSP Traces Refinement Checking
This page was built for publication:
