International Journal of Software and Informatics

ISSNs: 1673-7288

Kexue Chubanshe, China

ISI indexed (2012): no

Central database

Journal

1 - 2 out of 2Page size: 10

Sort by: Type

Research › Journal article
Published
Developing a Domain Model for Relay Circuits. / Haxthausen, Anne Elisabeth.
In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009, p. 241-272.
Publication: Research - peer-review › Journal article – Annual report year: 2009
Published
Efficient model checking for duration calculus. / Fränzle, Martin ; Hansen, Michael Reichhardt.
In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009, p. 171-196.
Publication: Research - peer-review › Journal article – Annual report year: 2009