Publication:4551159
From MaRDI portal
zbMath0991.68036MaRDI QIDQ4551159
Martin Steffen, Yassine Lakhneche, Dennis Dams
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020286
Related Items
Tree regular model checking: a simulation-based approach, Verification of programs with half-duplex communication