GTAexpress: A Software Package to Handle Kronecker Descriptors - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ricardo M. Czekster, Paulo Fernandes, Thais Webber. GTAexpress: A Software Package to Handle Kronecker Descriptors. In QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009. pages 281-282, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Ricardo M. Czekster' in GoogleThis author has not been identified. Look up 'Paulo Fernandes' in GoogleThis author has not been identified. Look up 'Thais Webber' in Google

runs on WebDSL