Jump to Navigation

Using XML to implement abstraction for model checking

TitleUsing XML to implement abstraction for model checking
Publication TypeConference Paper
Year of Publication2002
AuthorsGallardo, M-del-M., J. Martínez, P. Merino, and E. Rosales
Conference NameProceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, Madrid , Spain
Date Publishedoct
PublisherACM Press
ISBN Number1-58113-445-2


Main menu 2

Biblio | by Dr. Radut