%0 Conference Paper
%B RE-2001, the 9th IEEE International Requirements Engineering Conference.
%D 2001
%T Model Checking Early Requirements Specifications in Tropos.
%A Fuxman, Ariel
%A Mylopoulos, John
%A Pistore, Marco
%A Traverso, Paolo
%C Toronto, Canada
%K pub