@InProceedings{   Krichen:TACC:2021,
  Author        = "Krichen, Moez",
  Editor        = "Kacem, Ahmed Hadj and Kallel, Slim and Belala, Faiza and Belguidoum, Meriem and Jmaiel, Mohamed and Rodriguez, Ismael Bouassida",
  bibsource     = "dblp computer science bibliography, https://dblp.org",
  biburl        = "https://dblp.org/rec/conf/tacc/Krichen21.bib",
  BookTitle     = "Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing {(TACC} 2021), Tabarka, Tunisia, December 18-20, 2021",
  date-added    = "2023-05-26 11:30:20 +0200",
  date-modified = "2023-05-26 11:30:30 +0200",
  Pages         = "62--73",
  Publisher     = "CEUR-WS.org",
  Series        = "{CEUR} Workshop Proceedings",
  timestamp     = "Fri, 10 Mar 2023 16:22:19 +0100",
  Title         = "Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata",
  URL           = "https://ceur-ws.org/Vol-3067/paper6.pdf",
  Volume        = "3067",
  Year          = "2021",
  bdsk-url-1    = "https://ceur-ws.org/Vol-3067/paper6.pdf",
  File          = "Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata - Testing\_Timed\_Systems\_Using\_Determinizat.pdf"
}

@InProceedings{ Krichen:TACC:2021, Author = "Krichen, Moez", Editor = "Kacem, Ahmed Hadj and Kallel, Slim and Belala, Faiza and Belguidoum, Meriem and Jmaiel, Mohamed and Rodriguez, Ismael Bouassida", bibsource = "dblp computer science bibliography, https://dblp.org", biburl = "https://dblp.org/rec/conf/tacc/Krichen21.bib", BookTitle = "Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing {(TACC} 2021), Tabarka, Tunisia, December 18-20, 2021", date-added = "2023-05-26 11:30:20 +0200", date-modified = "2023-05-26 11:30:30 +0200", Pages = "62--73", Publisher = "CEUR-WS.org", Series = "{CEUR} Workshop Proceedings", timestamp = "Fri, 10 Mar 2023 16:22:19 +0100", Title = "Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata", URL = "https://ceur-ws.org/Vol-3067/paper6.pdf", Volume = "3067", Year = "2021", bdsk-url-1 = "https://ceur-ws.org/Vol-3067/paper6.pdf", File = "Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata - Testing_Timed_Systems_Using_Determinizat.pdf" }