• Selma Lagerløfs Vej 300, 1-2-32

    9220 Aalborg Ø

    Danmark

20032020

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Filter
Forord/Indledning/efterskrift

Søgeresultater

  • 2005

    Foreword

    Srba, J. & Smolka, S. A., 2005, Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). Srba, J. & Smolka, S. A. (red.). ENTCS udg. Springer

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingForord/Indledning/efterskriftForskningpeer review