An Algebraic Theory Of Boundary Crossing Transitions

Autor: Ray, Arnab, Cleaveland, Rance, Skou, Arne
Zdroj: In Electronic Notes in Theoretical Computer Science 18 January 2005 115:69-88
Databáze: ScienceDirect