| dc.creator |
Hierons, RM |
|
| dc.date |
2006-11-06T12:40:05Z |
|
| dc.date |
2006-11-06T12:40:05Z |
|
| dc.date |
2004 |
|
| dc.date.accessioned |
2022-05-25T13:07:01Z |
|
| dc.date.available |
2022-05-25T13:07:01Z |
|
| dc.identifier |
Information Processing Letters, 90(6): 287-292 |
|
| dc.identifier |
http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=1011112 |
|
| dc.identifier |
http://www.elsevier.com/wps/find/journaldescription.cws_home/505612/description#description |
|
| dc.identifier |
http://bura.brunel.ac.uk/handle/2438/352 |
|
| dc.identifier.uri |
http://localhost:8080/xmlui/handle/CUHPOERS/163684 |
|
| dc.format |
437132 bytes |
|
| dc.format |
application/pdf |
|
| dc.language |
en |
|
| dc.publisher |
Elsevier |
|
| dc.subject |
Finite state machine |
|
| dc.subject |
Graph algorithms |
|
| dc.subject |
Minimization |
|
| dc.subject |
Reset |
|
| dc.subject |
Test generation algorithm |
|
| dc.title |
Using a minimal number of resets when testing from a finite state machine |
|
| dc.type |
Research Paper |
|
| dc.coverage |
9 |
|