Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

STTT
2008

favoriteEmaildiscussreport

83views more STTT 2008»

Improving state class constructions for CTL* model checking of time Petri nets

13 years 3 months ago

Improving state class constructions for CTL* model checking of time Petri nets

Download www.bcs.org

Rachid Hadjidj, Hanifa Boucheneb

Real-time Traffic

STTT 2008 |

claim paper

Related Content

» Model Checking with Finite Complete Prefixes Is PSPACEComplete

» Parametric ModelChecking of Time Petri Nets with Stopwatches Using the StateClass Graph

» Model Checking of Time Petri Nets Using the State Class Timed Automaton

» Symbolic Model Checking of AnalogMixedSignal Circuits

» Distributed diskbased algorithms for model checking very large Markov chains

Post Info
More Details (n/a)

Added	28 Jan 2011
Updated	28 Jan 2011
Type	Journal
Year	2008
Where	STTT
Authors	Rachid Hadjidj, Hanifa Boucheneb

Comments (0)