%0 Journal Article %1 journals/tcs/LHerPM01 %A L'Her, Dominique %A Parc, Philippe Le %A Marcé, Lionel %D 2001 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 141-155 %T Proving sequential function chart programs using timed automata. %U http://dblp.uni-trier.de/db/journals/tcs/tcs267.html#LHerPM01 %V 267

@article{journals/tcs/LHerPM01, added-at = {2021-02-17T00:00:00.000+0100}, author = {L'Her, Dominique and Parc, Philippe Le and Marcé, Lionel}, biburl = {https://www.bibsonomy.org/bibtex/2da7209eca29005ad9e0e38e6a57ee47d/dblp}, ee = {https://doi.org/10.1016/S0304-3975(00)00301-7}, interhash = {665d4dbdebfe92f9debb9378a6afcc00}, intrahash = {da7209eca29005ad9e0e38e6a57ee47d}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {141-155}, timestamp = {2024-04-08T18:35:54.000+0200}, title = {Proving sequential function chart programs using timed automata.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs267.html#LHerPM01}, volume = 267, year = 2001 }