"Extending the SCR Method for Real-Time Systems."

Hyoung Seok Hong et al. (2001)

Details and statistics

DOI: 10.1023/A:1026585115440

access: closed

type: Journal Article

metadata version: 2020-09-10

a service of  Schloss Dagstuhl - Leibniz Center for Informatics