%0 Conference Paper %1 conf/tapsoft/FerrariGM91 %A Ferrari, Gian-Luigi %A Gorrieri, Roberto %A Montanari, Ugo %B TAPSOFT, Vol.2 %D 1991 %E Abramsky, Samson %E Maibaum, T. S. E. %I Springer %K dblp %P 29-48 %T An Extended Expansion Theorem. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft91-2.html#FerrariGM91 %V 494 %@ 3-540-53981-6

@inproceedings{conf/tapsoft/FerrariGM91, added-at = {2023-06-23T00:00:00.000+0200}, author = {Ferrari, Gian-Luigi and Gorrieri, Roberto and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/2ae9f80d5eb6fb6af4c3d08d4f84d2c0f/dblp}, booktitle = {TAPSOFT, Vol.2}, crossref = {conf/tapsoft/1991-2}, editor = {Abramsky, Samson and Maibaum, T. S. E.}, ee = {https://doi.org/10.1007/3540539816_56}, interhash = {1164e0ba6f1c048be6971c62c0dad4e4}, intrahash = {ae9f80d5eb6fb6af4c3d08d4f84d2c0f}, isbn = {3-540-53981-6}, keywords = {dblp}, pages = {29-48}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:04:32.000+0200}, title = {An Extended Expansion Theorem.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft91-2.html#FerrariGM91}, volume = 494, year = 1991 }