%0 Journal Article %1 journals/mscs/FerrariMM97 %A Ferrari, Gian-Luigi %A Montanari, Ugo %A Mowbray, Miranda %D 1997 %J Math. Struct. Comput. Sci. %K dblp %N 3 %P 241-282 %T Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. %U http://dblp.uni-trier.de/db/journals/mscs/mscs7.html#FerrariMM97 %V 7

@article{journals/mscs/FerrariMM97, added-at = {2023-06-23T00:00:00.000+0200}, author = {Ferrari, Gian-Luigi and Montanari, Ugo and Mowbray, Miranda}, biburl = {https://www.bibsonomy.org/bibtex/21a63ed1565914cadca2e1c4e537536d5/dblp}, ee = {https://doi.org/10.1017/S0960129597002284}, interhash = {d48106f53304f1431c04ab33e5c4c99b}, intrahash = {1a63ed1565914cadca2e1c4e537536d5}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {241-282}, timestamp = {2024-04-08T13:16:45.000+0200}, title = {Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs7.html#FerrariMM97}, volume = 7, year = 1997 }