[Pay Per View]  confirm


Vol/No/Title/Authors number Price(including tax)
Vol.J101-D No.3
Efficient Scenario Verification for Proximity-based Federations of Smart Objects Using Symbolic Model Checking
Reona MINODA, Shin-ichi MINATO,
1 ¥3240
Total: ¥3,240