An equivalent CTL formulation for condition sequences
From MaRDI portal
Publication:816698
DOI10.1007/s10626-005-4056-0zbMath1101.93048MaRDI QIDQ816698
Lawrence E. Holloway, Jeffrey Ashley
Publication date: 23 February 2006
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-005-4056-0
93C65: Discrete event control/observation systems
Uses Software
Cites Work