"Finite-State Automata-Based Representation of Device States for Function ..."

Ahmed Chowdhury, Lakshmi N. A. Venkatanarasimhan, Chiradeep Sen (2022)

Details and statistics

DOI: 10.1115/1.4051159

access: closed

type: Journal Article

metadata version: 2021-08-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics