ebook img

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings PDF

368 Pages

2011

4.767 MB

English

by Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)

Checking for file health...

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.