@proceedings{ Solr-acta59559, title = {Regular grammar model for protocol testing [abstract]}, series = {Conference of PhD Students in Computer Science}, author = {Rotter Csaba V.}, address = {University of Szeged}, publisher = {Szeged}, year = {1998}, url = {http://acta.bibl.u-szeged.hu/59559/1/cscs_1998_090.pdf} }