%0 Conference Paper %1 conf/fm/CianciaGLMV23 %A Ciancia, Vincenzo %A Groote, Jan Friso %A Latella, Diego %A Massink, Mieke %A de Vink, Erik P. %B FM %D 2023 %E Chechik, Marsha %E Katoen, Joost-Pieter %E Leucker, Martin %I Springer %K dblp %P 263-281 %T Minimisation of Spatial Models Using Branching Bisimilarity. %U http://dblp.uni-trier.de/db/conf/fm/fm2023.html#CianciaGLMV23 %V 14000 %@ 978-3-031-27481-7

@inproceedings{conf/fm/CianciaGLMV23, added-at = {2023-03-11T00:00:00.000+0100}, author = {Ciancia, Vincenzo and Groote, Jan Friso and Latella, Diego and Massink, Mieke and de Vink, Erik P.}, biburl = {https://www.bibsonomy.org/bibtex/2cb1fc6fa5b4f205512dba61c11580256/dblp}, booktitle = {FM}, crossref = {conf/fm/2023}, editor = {Chechik, Marsha and Katoen, Joost-Pieter and Leucker, Martin}, ee = {https://doi.org/10.1007/978-3-031-27481-7_16}, interhash = {e884ab58861ceea3fbddfdd6652a73ae}, intrahash = {cb1fc6fa5b4f205512dba61c11580256}, isbn = {978-3-031-27481-7}, keywords = {dblp}, pages = {263-281}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {Minimisation of Spatial Models Using Branching Bisimilarity.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2023.html#CianciaGLMV23}, volume = 14000, year = 2023 }