"Model matching inclusion for input/state asynchronous sequential machines ..."

Jung-Min Yang, Dong-Eun Lee, Seong Woo Kwak (2021)

Details and statistics

DOI: 10.1016/J.JFRANKLIN.2020.11.024

access: closed

type: Journal Article

metadata version: 2021-02-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics