DMCA

UNIFYING THE LINEAR TIME-BRANCHING TIME SPECTRUM OF STRONG PROCESS SEMANTICS (2012)

by David De , Frutos Escrig , Carlos Gregorio , Rodr Íguezb , Miguel Palomino C , David , Romero Hern Ándezd