@InProceedings{   bouajjani:timed:PDA:94,
  Author        = "Bouajjani, Ahmed and Echahed, Rachid and Robbana, Riadh",
  BookTitle     = "Proc. of Hybrid Systems'94",
  date-added    = "2012-06-30 11:57:33 +0200",
  date-modified = "2019-03-04 14:24:31 +0100",
  Keywords      = "timed automata and pushdown automata",
  Pages         = "64--85",
  Title         = "On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures",
  Year          = "1994",
  File          = "On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures - Bouajjani, Echahed, Robbana (0) (0) - a - a - g.pdf"
}

@InProceedings{ bouajjani:timed:PDA:94, Author = "Bouajjani, Ahmed and Echahed, Rachid and Robbana, Riadh", BookTitle = "Proc. of Hybrid Systems'94", date-added = "2012-06-30 11:57:33 +0200", date-modified = "2019-03-04 14:24:31 +0100", Keywords = "timed automata and pushdown automata", Pages = "64--85", Title = "On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures", Year = "1994", File = "On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures - Bouajjani, Echahed, Robbana (0) (0) - a - a - g.pdf" }