C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Assume-Guarantee Supervisor for Concurrent Systems.
Mohammad Zulkernine
Rudolph E. Seviora
Published in:
IPDPS (2001)
Keyphrases
</>
concurrent systems
distributed systems
temporal logic
process algebra
model checking
formal specification
petri net
transition systems
data sets
artificial intelligence
search engine
website