Search results

  • Full text

  • Document type

  • Organisation

Results: 1
Number of items: 1
  • Open Access
    Behnke, G., Gattinger, M., Wang, H., & Ghosh, A. (2025). Comparing State-Representations for DEL Model Checking. Electronic Proceedings in Theoretical Computer Science, 437, 233-250. https://doi.org/10.4204/EPTCS.437.21
Page of