The following pages link to Charles A. Lakos (Q2761700):
Displaying 14 items.
- (Q2761701) (← links)
- (Q2761744) (← links)
- (Q2766570) (← links)
- (Q3045251) (← links)
- Modelling Mobile IP with Mobile Petri Nets (Q3651241) (← links)
- (Q4167529) (← links)
- (Q4417832) (← links)
- (Q4535182) (← links)
- The consistent use of names and polymorphism in the definition of Object Petri Nets (Q4633175) (← links)
- (Q4762657) (← links)
- Extending pnml Scope: A Framework to Combine Petri Nets Types (Q4909349) (← links)
- From Coloured Petri Nets to Object Petri Nets (Q5096368) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479155) (← links)
- Automated Technology for Verification and Analysis (Q5491863) (← links)
