Recenzie Unfoldings

Unfoldings
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. prečítať celé 

Recenzie

0
Overené recenzie sú tak výslovne označené, ostatné sú neoverené.
Nie sú tu žiadne recenzie. Buďte prvý/-á a napíšte tú svoju!