Axiomatising Divergence

Markus Lohrey, Pedro R. d' Argenio, Holger Hermanns

    Research output: Contribution to journalArticleAcademicpeer-review

    16 Citations (Scopus)
    18 Downloads (Pure)

    Search results

    • 2002

      Axiomatising Divergence

      Lohrey, M., d' Argenio, P. R. & Hermanns, H., 2002, Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R. & Hennessy, M. (eds.). Berlin: Springer, p. 585-596 12 p. (Lecture Notes in Computer Science; vol. 2380).

      Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

      9 Citations (Scopus)