BibTeX Export

@inproceedings{Authenticus:P-00G-T02,
	title = {{Deciding synchronous Kleene algebra with derivatives}},
	author = {S Broda and S Cavadas and M Ferreira and N Moreira},
	booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	doi = {10.1007/978-3-319-22360-5_5},
	pages = {49-62},
	publisher = {Springer Verlag},
	type = {Proceedings Paper},
	volume = {9223},
	year = {2015}
}