Tank Monitor: a pAMN Case Study (BiBTeX)

@Article{schneider06:_tank,
  author = 	 {Steve Schneider and Thai Son Hoang and Ken Robinson and Helen Treharne},
  title = 	 {Tank Monitoring: A {pAMN} Case Study},
  journal = 	 {Formal Aspects of Computing},
  year = 	 2006,
  month = 	 sep,
  volume = 	 18,
  number = 	 3,
  pages = 	 {308--328},
  publisher =    {Springer-Verlag},
  note = 	 {\url{http://dx.doi.org/10.1007/s00165-006-0004-5}}
}