%0 Conference Paper %1 conf/iceccs/NguyenPP18 %A Nguyen, Hoang Gia %A Petrucci, Laure %A van de Pol, Jaco %B ICECCS %D 2018 %I IEEE Computer Society %K dblp %P 1-9 %T Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2018.html#NguyenPP18 %@ 978-1-5386-9341-4

@inproceedings{conf/iceccs/NguyenPP18, added-at = {2023-03-24T00:00:00.000+0100}, author = {Nguyen, Hoang Gia and Petrucci, Laure and van de Pol, Jaco}, biburl = {https://www.bibsonomy.org/bibtex/219786cf742e54e530eb8bf0cf772f296/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2018}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS2018.2018.00009}, interhash = {cccc2c0418f00375a7ea1e215a3b0230}, intrahash = {19786cf742e54e530eb8bf0cf772f296}, isbn = {978-1-5386-9341-4}, keywords = {dblp}, pages = {1-9}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:30:28.000+0200}, title = {Layered and Collecting NDFS with Subsumption for Parametric Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2018.html#NguyenPP18}, year = 2018 }