%0 Conference Paper %1 conf/sblp/LopesRC16 %A Lopes, Raul %A Ribeiro, Rodrigo Geraldo %A Camarão, Carlos %B SBLP %D 2016 %E Castor, Fernando %E Liu, Yu David %I Springer %K dblp %P 95-109 %T Certified Derivative-Based Parsing of Regular Expressions. %U http://dblp.uni-trier.de/db/conf/sblp/sblp2016.html#LopesRC16 %V 9889 %@ 978-3-319-45278-4

@inproceedings{conf/sblp/LopesRC16, added-at = {2019-05-10T00:00:00.000+0200}, author = {Lopes, Raul and Ribeiro, Rodrigo Geraldo and Camarão, Carlos}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25b1ea5c2df2babd2a792218b507d9487/dblp}, booktitle = {SBLP}, crossref = {conf/sblp/2016}, editor = {Castor, Fernando and Liu, Yu David}, ee = {https://doi.org/10.1007/978-3-319-45279-1_7}, interhash = {3fd9085fcf44b4ed762b59a5d714bf62}, intrahash = {5b1ea5c2df2babd2a792218b507d9487}, isbn = {978-3-319-45278-4}, keywords = {dblp}, pages = {95-109}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:04:15.000+0200}, title = {Certified Derivative-Based Parsing of Regular Expressions.}, url = {http://dblp.uni-trier.de/db/conf/sblp/sblp2016.html#LopesRC16}, volume = 9889, year = 2016 }