
Corona virus: Access only with medical mouth-nose protection, limited access to reading rooms
Please respect the known hygiene rules and prevent long stays in the library!
► More information about opening hours and visiting the library you find in our FAQ
Efficient Coalgebraic Partition Refinement (English)
- New search for: Dorsch, Ulrich
- New search for: Milius, Stefan
- New search for: Schröder, Lutz
- New search for: Wißmann, Thorsten
- New search for: Herbstritt, Marc
2017
- Miscellaneous / Electronic Resource
-
Title:Efficient Coalgebraic Partition Refinement
-
Author / Creator:
-
Contributors:
-
Publisher:Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
-
Year of publication:2017
-
Size:16 pages
-
DOI:
-
Type of media:Miscellaneous
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
-
Export: