BibTeX Export

@inproceedings{Authenticus:P-008-6SB,
	title = {{Deciding regular expressions (in-)equivalence in Coq}},
	author = {N Moreira and D Pereira and S Melo De Sousa},
	booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	doi = {10.1007/978-3-642-33314-9_7},
	pages = {98-113},
	publisher = {Springer},
	type = {Proceedings Paper},
	volume = {7560 LNCS},
	year = {2012}
}