@inproceedings{conf/dagstuhl/Lohrey07,
title = {Application of verification techniques to inverse monoids.},
author = {Markus Lohrey},
booktitle = {Algorithmic-Logical Theory of Infinite Structures},
crossref = {conf/dagstuhl/2007P7441},
editor = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7441.html#Lohrey07},
volume = {07441},
year = {2007},
description = {dblp},
date = {2008-05-15}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1410},
keywords = {dblp }
}
::