@inproceedings{DBLP:conf/fmmb/YamamotoRNIMFI14,
author    = {Yoshitaka Yamamoto and
Adrien Rougny and
Hidetomo Nabeshima and
Katsumi Inoue and
Hisao Moriya and
Christine Froidevaux and
Koji Iwanuma},
title     = {Completing {SBGN-AF} Networks by Logic-Based Hypothesis Finding},
booktitle = {Formal Methods in Macro-Biology - First International Conference,
{FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014.
Proceedings},
year      = {2014},
pages     = {165--179},
crossref  = {DBLP:conf/fmmb/2014},
url       = {http://dx.doi.org/10.1007/978-3-319-10398-3_14},
timestamp = {Thu, 02 Oct 2014 17:33:23 +0200},
biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmmb/YamamotoRNIMFI14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}