[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

"Modeling compliance specifications in linear temporal logic, event ..."

Christoph Czepa et al. (2019)

Details and statistics

DOI: 10.1007/S10270-019-00721-4

access: open

type: Journal Article

metadata version: 2020-09-18