@MISC{jacobs-sofronie-pdpar-entcs,
AUTHOR = {Jacobs, Swen and Sofronie-Stokkermans, Viorica},
TITLE = {Applications of hierarchical reasoning in the verification of complex systems},
JOURNAL = {Electronic Notes in Theoretical Computer Science},
PUBLISHER = {Elsevier},
YEAR = {2007},
NUMBER = {??},
VOLUME = {??},
ISBN = {1571-0661},
}
Entry last modified by Viorica Sofronie-Stokkermans, 01/12/2007
Edit History (please click the blue arrow to see the details)
| Editor(s)
Viorica Sofronie-Stokkermans | Created
11/21/2006 11:46:26 AM |
Revisions
2.
1.
0.
| Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
| Edit Dates
01/12/2007 03:35:07 PM
11/22/2006 03:58:59 PM
11/21/2006 11:46:26 AM
|