BibSonomy :: author  ::

bookmarks

publications

(3)

• A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.
  Olivier Ponsini and Wendelin Serwe FM 278-293 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Rewriting of imperative programs into logical equations.
  Olivier Ponsini and Carine Fédèle and Emmanuel Kounalis Sci. Comput. Program. 56 363-401 (2005)
  to dblp by dblp on 2006-01-10 00:00:00
  | URL | BibTeX  
• Réécriture de programmes C--en équations logiques.
  Olivier Ponsini JFPLC 241- (2002)
  to dblp by dblp on 2004-05-19 00:00:00
  | URL | BibTeX