%0 Conference Paper %1 conf/ictac/Krichen19 %A Krichen, Moez %B ICTAC %D 2019 %E Hierons, Robert M. %E Mosbah, Mohamed %I Springer %K dblp %P 124-133 %T Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2019.html#Krichen19 %V 11884 %@ 978-3-030-32505-3

@inproceedings{conf/ictac/Krichen19, added-at = {2019-10-28T00:00:00.000+0100}, author = {Krichen, Moez}, biburl = {https://www.bibsonomy.org/bibtex/2527377768761831bc96bb02807864c1c/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2019}, editor = {Hierons, Robert M. and Mosbah, Mohamed}, ee = {https://doi.org/10.1007/978-3-030-32505-3_8}, interhash = {d7b6305b45187b4d4f9d9026d1f920a5}, intrahash = {527377768761831bc96bb02807864c1c}, isbn = {978-3-030-32505-3}, keywords = {dblp}, pages = {124-133}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:34:02.000+0200}, title = {Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2019.html#Krichen19}, volume = 11884, year = 2019 }