Sciweavers

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

11

SOFSEM
2007
Springer

favoriteEmaildiscussreport

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

13 years 10 months ago

Model-Checking Large Finite-State Systems and Beyond

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

Real-time Traffic

SOFSEM 2007 | Theoretical Computer Science |

claim paper

Related Content

» Deciding BisimulationLike Equivalences with FiniteState Processes

» Model Checking Historical Perspective and Example Extended Abstract

» Synchronous Closing and Flow Analysis for Model Checking Timed Systems

» Modular and Incremental Analysis of Concurrent Software Systems

» Abstraction and Completeness for RealTime Maude

» Querying contract databases based on temporal behavior

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	SOFSEM
Authors	Lubos Brim, Mojmír Kretínský

Comments (0)