Temporal Queries over World Wide Web

Symposium on Applications and the Internet 2005(査読付き国際学会) IEEE、情報処理学会

動的性質を持つデータベースの問い合わせとして、Safety Propertyのチェックが有効であることを示した。