The Application of Kripke-Type Structures to Regional Development Programs

Matthias Baaz, Fernando Galindo, Gerald Quirchmayr, Manuel Vázqez. The Application of Kripke-Type Structures to Regional Development Programs. In Vladimír Marík, Jirí Lazanský, Roland Wagner, editors, Database and Expert Systems Applications, 4th International Conference, DEXA 93, Prague, Czech Republic, September 6-8, 1993, Proceedings. Volume 720 of Lecture Notes in Computer Science, pages 523-528, Springer, 1993.

Authors

Matthias Baaz

This author has not been identified. Look up 'Matthias Baaz' in Google

Fernando Galindo

This author has not been identified. Look up 'Fernando Galindo' in Google

Gerald Quirchmayr

This author has not been identified. Look up 'Gerald Quirchmayr' in Google

Manuel Vázqez

This author has not been identified. Look up 'Manuel Vázqez' in Google