BibSonomy :: user  :: fink08 ::

bookmarks

publications

(1)   

• Model checking early requirements specifications in Tropos
  A. Fuxman and M. Pistore and J. Mylopoulos and P. Traverso International Symposium on Requirements Engineering, page174--181. Toronto, August2001.
  to formal modeling temporal evaluation by fink08 and 2 other people on Sep 17, 2006, 6:41 AM
  URL | BibTeX