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.
@inproceedings{BaazGQV93,
title = {The Application of Kripke-Type Structures to Regional Development Programs},
author = {Matthias Baaz and Fernando Galindo and Gerald Quirchmayr and Manuel Vázqez},
year = {1993},
researchr = {https://researchr.org/publication/BaazGQV93},
cites = {0},
citedby = {0},
pages = {523-528},
booktitle = {Database and Expert Systems Applications, 4th International Conference, DEXA 93, Prague, Czech Republic, September 6-8, 1993, Proceedings},
editor = {Vladimír Marík and Jirí Lazanský and Roland Wagner},
volume = {720},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57234-1},
}