Jump to : Note | Contact | BibTex reference | EndNote reference |

JSC2011

Peter Schrammel, Bertrand Jeannet. Applying Abstract Acceleration to (Co-)Reachability Analysis of Reactive Programs. Journal of Symbolic Computation - Special issue on WING2010, 2011.

Note on this paper

to appear

Contact

Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

@article{JSC2011,
   Author = {Schrammel, Peter and Jeannet, Bertrand},
   Title = {Applying Abstract Acceleration to (Co-)Reachability Analysis of Reactive Programs},
   Journal = {Journal of Symbolic Computation - Special issue on WING2010},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)