BibTeX-Eintrag stirling1999a

BibTeX-Eintrag für "Bisimulation, Modal Logic and Model Checking Games"

@MISC{stirling1999a,
     author = {Colin Stirling},
     title = {Bisimulation, Modal Logic and Model Checking Games},
     year = {1999}
}