@article{GolluGolluGolluPuriVaraiya,
    Author = {Aleks, Gollu and Puri, Anuj and Varaiya, Pravin},
    File = {Discretization of Timed Automata - Aleks, Puri, Varaiya (0) (0) - a - a - m.pdf},
    Journal = {IN: PROCEEDINGS OF THE 33RD IEEE CONFERENE ON DECISION AND CONTROL},
    Keywords = {timed automata},
    Pages = {957--958},
    Title = {Discretization of Timed Automata},
    Year = {1994},
    bdsk-url-1 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.3577},
    date-added = {2012-07-01 14:17:20 +0200},
    date-modified = {2012-07-01 12:17:41 +0000},
    doi = {10.1109/CDC.1994.410933}
}

@article{GolluGolluGolluPuriVaraiya, Author = {Aleks, Gollu and Puri, Anuj and Varaiya, Pravin}, File = {Discretization of Timed Automata - Aleks, Puri, Varaiya (0) (0) - a - a - m.pdf}, Journal = {IN: PROCEEDINGS OF THE 33RD IEEE CONFERENE ON DECISION AND CONTROL}, Keywords = {timed automata}, Pages = {957--958}, Title = {Discretization of Timed Automata}, Year = {1994}, bdsk-url-1 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.3577}, date-added = {2012-07-01 14:17:20 +0200}, date-modified = {2012-07-01 12:17:41 +0000}, doi = {10.1109/CDC.1994.410933} }