Unfoldings

Unfoldings PDF book is popular Computers book written by Javier Esparza. The book was released by Springer Science & Business Media on 2008-03-12 with total hardcover pages 172. Fast download link is given in this page, you could read Unfoldings by Javier Esparza in PDF, epub and kindle directly from your devices.

Unfoldings

Released on 2008-03-12 by Javier Esparza

Unfoldings Book Detail
Author : Javier Esparza
Release Date : 2008-03-12
Publisher : Springer Science & Business Media
Genre : Computers
Pages : 172
ISBN 13 : 3540774262
File Size : 17,17 MB

DOWNLOAD BOOK

Unfoldings

File Size : 97,97 MB
Total View : 7656 Views
DOWNLOAD

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They o

Applications and Theory of Petri Nets

File Size : 96,96 MB
Total View : 3419 Views
DOWNLOAD

This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NET

Dependable Software Engineering: Theories, Tools, and Applications

File Size : 6,6 MB
Total View : 3746 Views
DOWNLOAD

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA

STACS 99

File Size : 50,50 MB
Total View : 6162 Views
DOWNLOAD

This book constitutes the refereed proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science, STACS 99, held in Trier, Germany in Marc

Advances in Petri Nets 1991

File Size : 22,22 MB
Total View : 8157 Views
DOWNLOAD

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most repr

Unfoldings Book Detail

Unfoldings

Applications and Theory of Petri Nets

Dependable Software Engineering: Theories, Tools, and Applications

STACS 99

Advances in Petri Nets 1991

Recent Books