BMA: Visual Tool for Modelling and Analyzing Biological Networks

Benque, D.; Bourton, S.; Cockerton, C.; Cook, B.; Fisher, J.; Ishtiaq, S.; Piterman, N.; Taylor, A.; Vardi, M.Y.

BMA: Visual Tool for Modelling and Analyzing Biological Networks (bibtex)

@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@inproceedings{BBCCFIPTV12,
  author = {D. Benque and S. Bourton and C. Cockerton and B. Cook and J. Fisher and S. Ishtiaq and N. Piterman and A. Taylor and M.Y. Vardi},
  title = 	 {{BMA}: Visual Tool for Modelling and Analyzing Biological Networks},
  booktitle = {The 24th Conference on Computer Aided Verification},
  series =    lncs,
  pages = 	 {283-298},
  year = 	 {2012},
  volume = 	 {7148},
  pdf = {2012/BBCCFIPTV12.pdf},
  OPTurl = {2012/},  
  keywords = {Executable Biology},
}