Article,

Descriptive dynamic logic and its application to reflective architectures.

, , , and .
Future Gener. Comput. Syst., 12 (2-3): 157-171 (1996)

Meta data

Tags

Users

  • @dblp

Comments and Reviews