C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient Modeling of Concurrent Systems in BMC.
Malay K. Ganai
Aarti Gupta
Published in:
SPIN (2008)
Keyphrases
</>
concurrent systems
distributed systems
databases
temporal logic
case study
cost effective
database
machine learning
business process
petri net
computationally expensive
formal specification
modeling method