%0 Journal Article %1 journals/fmsd/AartsJUV15 %A Aarts, Fides %A Jonsson, Bengt %A Uijen, Johan %A Vaandrager, Frits W. %D 2015 %J Formal Methods Syst. Des. %K dblp %N 1 %P 1-41 %T Generating models of infinite-state communication protocols using regular inference with abstraction. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd46.html#AartsJUV15 %V 46

@article{journals/fmsd/AartsJUV15, added-at = {2021-08-31T00:00:00.000+0200}, author = {Aarts, Fides and Jonsson, Bengt and Uijen, Johan and Vaandrager, Frits W.}, biburl = {https://www.bibsonomy.org/bibtex/25d260d35caf34905452644c719387e79/dblp}, ee = {https://doi.org/10.1007/s10703-014-0216-x}, interhash = {25d99ae993a7e34c67e9b3cc3f6a6788}, intrahash = {5d260d35caf34905452644c719387e79}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {1-41}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {Generating models of infinite-state communication protocols using regular inference with abstraction.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd46.html#AartsJUV15}, volume = 46, year = 2015 }