Sign in
Kamal Barakat
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Decision Trees
Expressive Power
Behavior Patterns
Timed Automata
Top Venues
TASE
ICUMT
</>
Publications
</>
Kamal Barakat
,
Stefan Kowalewski
Modeling and verification of network protocol specs using timed pi-calculus.
ICUMT
(2012)
Kamal Barakat
,
Stefan Kowalewski
,
Thomas Noll
A Native Approach to Modeling Timed Behavior in the Pi-Calculus.
TASE
(2012)