Publications

From vecolib
Revision as of 13:18, 1 March 2015 by Iosif (Talk | contribs) (Created page with "<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <title>ref</title> </head> <body> <!-- This document was automatically generated with bibtex2...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

ref

[1] Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. Abstraction refinement for trace inclusion of data automata. CoRR, abs/1410.5056, 2014. [ bib | http ]

This file was generated by bibtex2html 1.96.