Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Bernard Berthomieu
LAAS-CNRS
Verified email at laas.fr
Cited by 5098
Computer Science
Formal Methods
Petri Nets
Time Petri Nets
Software Engineering
Naima Jbeli
Docteur en informatique option STIC
Cited by 14
Modeling and analysis of Workflow
Time Petri nets
model checking
Privacy
Terms
Help
About Scholar
Search help