%0 Conference Paper %1 conf/tacas/ChenR09 %A Chen, Feng %A Rosu, Grigore %B TACAS %D 2009 %E Kowalewski, Stefan %E Philippou, Anna %I Springer %K dblp %P 246-261 %T Parametric Trace Slicing and Monitoring. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2009.html#ChenR09 %V 5505 %@ 978-3-642-00767-5

@inproceedings{conf/tacas/ChenR09, added-at = {2018-06-26T00:00:00.000+0200}, author = {Chen, Feng and Rosu, Grigore}, biburl = {https://www.bibsonomy.org/bibtex/20f6a3b6a90b5cf039cbdbe1bd27c7ed8/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2009}, editor = {Kowalewski, Stefan and Philippou, Anna}, ee = {https://doi.org/10.1007/978-3-642-00768-2_23}, interhash = {0695e43fe0025a640252e0434b15f05d}, intrahash = {0f6a3b6a90b5cf039cbdbe1bd27c7ed8}, isbn = {978-3-642-00767-5}, keywords = {dblp}, pages = {246-261}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:06.000+0200}, title = {Parametric Trace Slicing and Monitoring.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2009.html#ChenR09}, volume = 5505, year = 2009 }