Ken R. Parker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1990–1991
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | FORTE | Tool Demonstration: FORSEE. | Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker |
| 1990 | CAV | On Using Protean To Verify ISO FTAM Protocol. | Richard Lai, Ken R. Parker, Tharam S. Dillon |
| 1990 | FORTE | The PROMPT Automatic Implementation Tool - Initial Impressions. | Ken R. Parker |