Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages

Gerald Lüttgen. Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages. Softw. Test., Verif. Reliab., 18(3):189-190, 2008. [doi]

Abstract

Abstract is missing.