International Journal on Software Tools for Technology Transfer
ISSNs: 1433-2779
Springer, Germany
FI (2012): 1, ISI indexed (2012): no
Central database
Journal
Sort by: Publication year
- 2011
- Published
Probabilistic Reachability for Parametric Markov Models. / Hahn, Ernst Moritz; Hermanns, Holger; Zhang, Lijun.
In: International Journal on Software Tools for Technology Transfer, Vol. 13, No. 1, 2011, p. 3-19.Publication: Research - peer-review › Journal article – Annual report year: 2011
- 1998
- Published
Behaviour Analysis for Validating Communication Patterns. / Amtoft, T.; Nielson, Hanne Riis; Nielson, Flemming.
In: International Journal on Software Tools for Technology Transfer, Vol. 2, No. 1, 1998, p. 13-28.Publication: Research - peer-review › Journal article – Annual report year: 1998