Sciweavers

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

8

TACAS
2007
Springer

favoriteEmaildiscussreport

67views Algorithms» more TACAS 2007»

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes

13 years 10 months ago

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes

Download www.liafa.jussieu.fr

Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

Real-time Traffic

Algorithms | TACAS 2007 |

claim paper

Related Content

» Rewriting Systems with Data

» Dynamic Bayesian Networks for Visual Surveillance with Distributed Cameras

» ContextAware Trails

» Worm anatomy and model

» Unpacking privacy for a networked world

» Branch Cut and Price Sequential and Parallel

» Sequential Influence Models in Social Networks

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	TACAS
Authors	Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

Comments (0)