%0 Conference Paper %1 conf/facs2/0001GHHW21 %A Martens, Jan %A Groote, Jan Friso %A van den Haak, Lars B. %A Hijma, Pieter %A Wijs, Anton %B FACS %D 2021 %E Salaün, Gwen %E Wijs, Anton %I Springer %K dblp %P 115-133 %T A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. %U http://dblp.uni-trier.de/db/conf/facs2/facs2021.html#0001GHHW21 %V 13077 %@ 978-3-030-90636-8

@inproceedings{conf/facs2/0001GHHW21, added-at = {2023-02-28T00:00:00.000+0100}, author = {Martens, Jan and Groote, Jan Friso and van den Haak, Lars B. and Hijma, Pieter and Wijs, Anton}, biburl = {https://www.bibsonomy.org/bibtex/2b350822e632b66dc5c70c5cb7dfa5fd0/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2021}, editor = {Salaün, Gwen and Wijs, Anton}, ee = {https://doi.org/10.1007/978-3-030-90636-8_7}, interhash = {f787023863da7b76e587071fcd7b9cfe}, intrahash = {b350822e632b66dc5c70c5cb7dfa5fd0}, isbn = {978-3-030-90636-8}, keywords = {dblp}, pages = {115-133}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T21:57:14.000+0200}, title = {A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2021.html#0001GHHW21}, volume = 13077, year = 2021 }