Software artefact for FIG: the Finite Improbability Generator

  • Carlos Budde (Creator)


Search results

  • 2020

    FIG: The Finite Improbability Generator

    Budde, C. E., 17 Apr 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, p. 483-491 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12078 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    4 Citations (Scopus)
    61 Downloads (Pure)