%0 Journal Article %1 journals/iandc/FinkelIS03 %A Finkel, Alain %A Iyer, S. Purushothaman %A Sutre, Grégoire %D 2003 %J Inf. Comput. %K dblp %N 1 %P 1-31 %T Well-abstracted transition systems: application to FIFO automata. %U http://dblp.uni-trier.de/db/journals/iandc/iandc181.html#FinkelIS03 %V 181

@article{journals/iandc/FinkelIS03, added-at = {2003-11-20T00:00:00.000+0100}, author = {Finkel, Alain and Iyer, S. Purushothaman and Sutre, Grégoire}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/234a339bcde19099ba699181a7998975f/dblp}, ee = {http://dx.doi.org/10.1016/S0890-5401(02)00027-5}, interhash = {905a3e7740cb89b8d48786cdea9d2a39}, intrahash = {34a339bcde19099ba699181a7998975f}, journal = {Inf. Comput.}, keywords = {dblp}, number = 1, pages = {1-31}, timestamp = {2016-02-02T05:36:02.000+0100}, title = {Well-abstracted transition systems: application to FIFO automata.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc181.html#FinkelIS03}, volume = 181, year = 2003 }