基本情報
名前: Jingke YAN
所属機関: Guilin University of Electronic Technology
登録日: 2021-07-20
スコア: 611
所属機関: Guilin University of Electronic Technology
登録日: 2021-07-20
スコア: 611
履歴書
参加した会議
合計 1 件。
| CCF | CORE | QUALIS | 略称 | 正式名称 | 開催日 | 開催地 |
|---|---|---|---|---|---|---|
| b | b | a2 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2023-01-15 | Online |
フォロー中のジャーナル
| CCF | 正式名称 | インパクトファクター | 出版社 | ISSN |
|---|---|---|---|---|
結果が得られませんでした。 | ||||
フォロー中の研究者
| 名前 | 所属機関 | 登録日 | スコア |
|---|---|---|---|
結果が得られませんでした。 | |||