Distributed Coalgebraic Partition Refinement

Birkmann F, Deifel HP, Milius S (2022)

Publication Type: Conference contribution

Publication year: 2022

Journal

Lecture Notes in Computer Science Springer Verlag

Publisher: SPRINGER INTERNATIONAL PUBLISHING AG

City/Town: CHAM

Pages Range: 159-177

Conference Proceedings Title: TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II

Event location: Munich, GERMANY

DOI: 10.1007/978-3-030-99527-0_9

Authors with CRIS profile

Fabian Birkmann Lehrstuhl für Technische Mechanik Hans-Peter Deifel Technische Fakultät Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Cyberkriminalität und forensische Informatik (Cybercrime) Oct. 1, 2019 - March 31, 2024

How to cite

APA:

Birkmann, F., Deifel, H.-P., & Milius, S. (2022). Distributed Coalgebraic Partition Refinement. In TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II (pp. 159-177). Munich, GERMANY: CHAM: SPRINGER INTERNATIONAL PUBLISHING AG.

MLA:

Birkmann, Fabian, Hans-Peter Deifel, and Stefan Milius. "Distributed Coalgebraic Partition Refinement." Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS), Munich, GERMANY CHAM: SPRINGER INTERNATIONAL PUBLISHING AG, 2022. 159-177.

BibTeX: Download