External Links

    Journal: Formal Methods in System Design

    Volume 32, Issue 2

    85 -- 128Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig. A congruence relation for sPBC
    129 -- 172Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar. Verification of parametric concurrent systems with prioritised FIFO resource management
    runs on