bibtex

@inproceedings{RDF4,
    title = { Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations },
    author = {Rocca, Alexandre and Dang, Thao and Fanchon, Eric},
    year = {2014},
    booktitle = {Hybrid Systems Biology - Second International Workshop, {HSB} 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, {HSB} 2014, Vienna, Austria, July 23-24, 2014, Revised Selected},
    crossref = {DBLP:conf/hsb/2014},
    pages = {111--127},
    team = {axe_Mohytos, TEMPO},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/hsb/RoccaDF14}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4093774