Daniel STAN. TU Kaiserslautern ... Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report). D Stan, AW Lin.
確定! 回上一頁