Sciweavers

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

6

IFM
2009
Springer

favoriteEmaildiscussreport

95views Formal Methods» more IFM 2009»

Partial Order Reduction for State/Event LTL

13 years 11 months ago

Partial Order Reduction for State/Event LTL

Download www.memics.cz

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri

Real-time Traffic

Formal Methods | IFM 2009 |

claim paper

Related Content

» Partial Order Reduction for Probabilistic Systems A Revision for Distributed Schedulers

» Scalable Multicore Model Checking Fairness Enhanced Systems

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	IFM
Authors	Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova

Comments (0)