scientific article
From MaRDI portal
Publication:2852029
zbMath1273.68238MaRDI QIDQ2852029
David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000703
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication:
