![]() |
@article{DBLP:journals/fmsd/Sharygina04,
author = {Natasha Sharygina},
title = {Guest Editorial},
journal = {Formal Methods in System Design},
volume = {25},
number = {2-3},
year = {2004},
pages = {103-103},
ee = {http://www.springerlink.com/index/10.1023/B:FORM.0000040024.07193.63},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-03-17 by Michael Ley (ley@uni-trier.de)