Tobiaskappe/Cka-Tools V1.0.2

Software OPEN SOURCE
TobiasKappe;
(2017)
  • Publisher: Zenodo
  • Related identifiers: doi: 10.5281/zenodo.926823
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS | Software_PROGRAMMINGTECHNIQUES | TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES | ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION

Tools for Concurrent Kleene Algebra
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Software, 2017)
  • Cite this software