%0 Conference Paper %1 conf/bhi/BowlesS16 %A Bowles, Juliana Küster Filipe %A Silvina, Agastya %B BHI %D 2016 %I IEEE %K dblp %P 376-379 %T Model checking cancer automata. %U http://dblp.uni-trier.de/db/conf/bhi/bhi2016.html#BowlesS16 %@ 978-1-5090-2455-1

@inproceedings{conf/bhi/BowlesS16, added-at = {2016-04-25T00:00:00.000+0200}, author = {Bowles, Juliana Küster Filipe and Silvina, Agastya}, biburl = {https://www.bibsonomy.org/bibtex/294c4880eeffeafb088b0e19c543ef929/dblp}, booktitle = {BHI}, crossref = {conf/bhi/2016}, ee = {http://dx.doi.org/10.1109/BHI.2016.7455913}, interhash = {8a5d6d82baacad08bb30570d02bd38b4}, intrahash = {94c4880eeffeafb088b0e19c543ef929}, isbn = {978-1-5090-2455-1}, keywords = {dblp}, pages = {376-379}, publisher = {IEEE}, timestamp = {2016-04-26T11:58:49.000+0200}, title = {Model checking cancer automata.}, url = {http://dblp.uni-trier.de/db/conf/bhi/bhi2016.html#BowlesS16}, year = 2016 }