BibTeX Export

@proceedings{Authenticus:P-008-M03,
	title = {{Descriptional Complexity of Formal Systems - 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings}},
	author = {H Jürgensen and R Reis},
	doi = {10.1007/978-3-642-39310-5},
	journal = {Dcfs},
	publisher = {Springer},
	type = {Proceedings},
	volume = {8031},
	year = {2013}
}