Treffer: Application of verification techniques to inverse monoids
Titel:
Application of verification techniques to inverse monoids / Markus Lohrey
Beteiligt:
Veröffentlicht:
[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2008]
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Dagstuhl seminar proceedings 07441