×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of carlo-ghezzi
Symbolic execution of concurrent systems using Petri nets
213 views
A journey through SMScom: self-managing situational computing
212 views
Laser 4-dynamic update
124 views
Laser 3-incremental
146 views
Laser 1-background
129 views
Laser 2-change
102 views
ICSE 2009 keynote
360 views
Paderborn
132 views