Login / Signup
Timed Petri Nets, Linear Logic, and Performance Modeling.
Vijay Gehlot
Published in:
MSV/AMCS (2004)
Keyphrases
</>
linear logic
timed petri nets
mathematical modeling
object oriented
logical framework