UVT: A Unification based tool for knowledge based verification
| Type of publication: | Article |
| Citation: | |
| Publication status: | Accepted |
| Journal: | IEEE Expert |
| Volume: | 8 |
| Year: | 1993 |
| Pages: | 69-75 |
| DOI: | 10.1109/64.215225 |
| Keywords: | |
| Authors | |
| Added by: | [] |
| Total mark: | 5 |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|