publication
2008
A Computer Assisted State Marking Method For Extracting Perfomance Models From Design Models
Pages
36-46
more of publication
2010
Published in:
University of Warwick