The temporal boolean derivative applied to verification of extended finite state machines

DOI10.1016/0898-1221(95)00075-AzbMath0839.68066MaRDI QIDQ1903776

H. A. Donegan, J. Magnier, E. Vandermeulen, M. Larnac

Publication date: 12 December 1995

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

zbMATH Keywords

finite state machinessequential machines

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: The temporal boolean derivative applied to verification of extended finite state machines