Result: Application of verification techniques to inverse monoids

Contributors:
Published:
[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2008]
Description:
Online-Ressource
Format:
E-Book
Language:
English
Series/ Mutipart item:
Dagstuhl seminar proceedings 07441

Additional information