ロード中...

A temporal logic approach to object certification

保存先:
書誌詳細
主要な著者: Sernadas, Amilcar, Ramos, Jaime, Sernadas, Cristina
フォーマット: Artigo
主題:
オンライン・アクセス:Ver no Pergamum
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!