Difference between revisions of "Publications"
From vecolib
(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...") |
|||
| Line 1: | Line 1: | ||
| − | |||
| − | |||
<html> | <html> | ||
Revision as of 14:19, 1 March 2015
| [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.
