Model-Checking Signal Transduction Networks through Decreasing Reachability Sets

Claessen, K.; Fisher, J.; Ishtiaq, S.; Piterman, N.; Wang, Q.

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets (bibtex)

@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@string{springer="© Springer-Verlag"}
@InProceedings{CFIPW13,
  author = 	 {K. Claessen and J. Fisher and S. Ishtiaq and N. Piterman and Q. Wang},
  title = 	 {Model-Checking Signal Transduction Networks through Decreasing Reachability Sets},
  booktitle = {The 25th Conference on Computer Aided Verification},
  pages = 	 {85-100},
  year = 	 {2013},
  volume = 	 {8044},
  series = 	 lncs,
  address = 	 {St Petersburg, Russia},
  publisher = springer,
  pdf = {2013/CFIPW13.pdf},
  keywords = {Executable Biology},
}