International Journal of Software and Informatics

ISSNs: 1673-7288

Kexue Chubanshe, China

ISI indexed (2012): no

Central database

Journal

  1. 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-reviewJournal article – Annual report year: 2009

  2. 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-reviewJournal article – Annual report year: 2009

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word