%0 Thesis %1 lluchlafuente2003directed %A Lluch Lafuente, Alberto %D 2003 %K %T Directed search for the verification of communication protocols

@phdthesis{lluchlafuente2003directed, added-at = {2023-12-14T16:24:49.000+0100}, author = {Lluch Lafuente, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/26c417a4761c00d388c26c5a4f81c345d/admin}, dnbtitleid = {968927661}, interhash = {f79c27275cb9ad8b113837f96b15e6de}, intrahash = {6c417a4761c00d388c26c5a4f81c345d}, keywords = {}, school = {Uni Freiburg}, timestamp = {2023-12-14T16:24:49.000+0100}, title = {Directed search for the verification of communication protocols}, year = 2003 }