@inproceedings{ICEIS-DISI-2010-ObermeierB,
	author        = "Sebastian Obermeier and Stefan Böttcher",
	booktitle     = "{Proceedings of the 11th International Conference on Enterprise Information Systems, Volume 1: DISI}",
	isbn          = "978-989-8425-04-1",
	pages         = "166--175",
	publisher     = "{SciTePress}",
	title         = "{Constraint Checking for Non-blocking Transaction Processing in Mobile Ad-hoc Networks}",
	year          = 2010,
}