@InProceedings{   DDSS-tacas07,
  Author        = "D'Aprile, Davide and Donatelli, Susanna and Sangnier, Arnaud and Sproston, Jeremy",
  BookTitle     = "Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07)",
  date-added    = "2012-12-18 15:49:08 +0000",
  date-modified = "2012-12-18 15:49:08 +0000",
  Pages         = "216-230",
  Publisher     = "Springer",
  Series        = "Lecture Notes in Computer Science",
  Title         = "From Time {P}etri Nets to Timed Automata: An Untimed Approach",
  Volume        = "4424",
  Year          = "2007",
  File          = "From Time Petri Nets to Timed Automata An Untimed Approach - D'Aprile, Donatelli, Sangnier, Sproston (0) (0) - a - a - u.pdf"
}

@InProceedings{ DDSS-tacas07, Author = "D'Aprile, Davide and Donatelli, Susanna and Sangnier, Arnaud and Sproston, Jeremy", BookTitle = "Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07)", date-added = "2012-12-18 15:49:08 +0000", date-modified = "2012-12-18 15:49:08 +0000", Pages = "216-230", Publisher = "Springer", Series = "Lecture Notes in Computer Science", Title = "From Time {P}etri Nets to Timed Automata: An Untimed Approach", Volume = "4424", Year = "2007", File = "From Time Petri Nets to Timed Automata An Untimed Approach - D'Aprile, Donatelli, Sangnier, Sproston (0) (0) - a - a - u.pdf" }