Name
Year | Venue | Keywords |
|---|---|---|
1994 | PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV | hardware synthesis,restricted class,lotos expression |
Field | DocType | ISBN |
Programming language,Expression (mathematics),Computer science,Hardware synthesis | Conference | 0-412-63640-9 |
Citations | PageRank | References |
1 | 0.41 | 5 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Teruo Higashino | 1 | 1086 | 119.60 |
| Keiichi Yasumoto | 2 | 670 | 110.78 |
| Junji Kitamichi | 3 | 64 | 10.32 |
| kenichi taniguchi | 4 | 256 | 35.56 |