Publication:4551159
From MaRDI portal
zbMath0991.68036MaRDI QIDQ4551159
Martin Steffen, Dennis Dams, Yassine Lakhneche
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020286
Related Items
Unnamed Item, Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates, Regular model checking with regular relations, Tree regular model checking: a simulation-based approach, Verification of programs with half-duplex communication