Guarded Teams: The Horizontally Guarded Case
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Erich Grädel, Martin Otto 0001
Guarded Teams: The Horizontally Guarded Case
CSL, 2020.

CSL 2020
Full names Links ISxN
	author        = "Erich Grädel and Martin Otto 0001",
	booktitle     = "{Proceedings of the 28th EACSL Annual Conference on Computer Science Logic}",
	doi           = "10.4230/LIPIcs.CSL.2020.22",
	isbn          = "978-3-95977-132-0",
	pages         = "17",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	title         = "{Guarded Teams: The Horizontally Guarded Case}",
	year          = 2020,

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.