"Automata-Based Analysis of Stage Suspended Boom Systems."

Anping He et al. (2013)

Details and statistics

DOI: 10.1155/2013/739253

access: open

type: Journal Article

metadata version: 2020-07-16

a service of  Schloss Dagstuhl - Leibniz Center for Informatics