%0 Thesis %1 hirsch2002guarded %A Hirsch, Colin %D 2002 %K %T Guarded logics: algorithms and bisimulation

@phdthesis{hirsch2002guarded, added-at = {2023-12-13T03:19:05.000+0100}, author = {Hirsch, Colin}, biburl = {https://www.bibsonomy.org/bibtex/25ed27c54a126719ceeff41fa7439613d/admin}, dnbtitleid = {966324498}, interhash = {8a02183d254cb24335128e7d78d7002a}, intrahash = {5ed27c54a126719ceeff41fa7439613d}, keywords = {}, school = {TU Aachen}, timestamp = {2023-12-13T03:19:05.000+0100}, title = {Guarded logics: algorithms and bisimulation}, year = 2002 }