First Page | Document Content | |
---|---|---|
Date: 2012-03-07 10:57:44 | Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan HaarAdd to Reading ListSource URL: www.lsv.ens-cachan.frDownload Document from Source WebsiteFile Size: 293,46 KBShare Document on Facebook |