The document you are accessing is version:
<2010:05.31.12.12.02 sid.inpe.br/mtc-m19@80/2009/08.21.17.02 sergio>
Moreover, this version is the official one.
The access date (site local date) is: 2019, December 15.
Model-based test case generation using statecharts and z: a comparison and a combined approach
Santiago Júnior, V. A. & Cristiá, M. & Vijaykumar, N. L. :2010:
(click the title or the icon to access the document)
WARNING: the document in this repository has a restricted access. Just authorized clients can open it.
The document is in PDF format. Use Adobe Acrobat Reader to display it.
If the document access cannot be completed, we recommend the free installation of Acrobat Reader Version 10.1.0.
This recommendation applies also in case of broken links.
Downloading Acrobat Reader 10.1.0 Software
After your visit, returning to this page, you can check
if the document has been changed during the access.