%0 Thesis %1 baier1994transitionssystem %A Baier, Christine %D 1994 %K %T Transitionssystem- und Baum-Semantiken für CCS

@phdthesis{baier1994transitionssystem, added-at = {2023-12-13T07:47:59.000+0100}, author = {Baier, Christine}, biburl = {https://www.bibsonomy.org/bibtex/207ac14a43aed0344d8898dd30f6866ec/admin}, dnbtitleid = {941962520}, interhash = {bd5f8074dee8c69c1c637deaa8982f38}, intrahash = {07ac14a43aed0344d8898dd30f6866ec}, keywords = {}, school = {Uni Mannheim}, timestamp = {2023-12-13T07:47:59.000+0100}, title = {Transitionssystem- und Baum-Semantiken für CCS}, year = 1994 }