Concepedia
Statistics
Publications
1
Citations
12
H-Index
Active since
1990
J Robinson Peter is an author specializing in hardware model checking, engineering, and computer science.
Publications per year
1990–1990
The semantics of VHDL with Val and Hol: towards practical verification tools
Van Tassell, J Robinson Peter · 1990 · 12 citations
Engineering, Computer Engineering, Computer Science +12
1–1 of 1