Open access

Model Checking of Time Petri Nets

Written By

Hanifa Boucheneb and Rachid Hadjidj

Published: February 1st, 2008

DOI: 10.5772/5318

Chapter metrics overview

2,894 Chapter Downloads

View Full Metrics

Written By

Hanifa Boucheneb and Rachid Hadjidj

Published: February 1st, 2008