Login / Signup
Synchronized Products of Transition Systems and Their Analysis.
André Arnold
Published in:
ICATPN (1998)
Keyphrases
</>
artificial intelligence
social networks
business process
temporal logic
transition systems