Keiichi Nakata. An Application of Temporal Logic for Representation and Reasoning about Design. In Michael Masuch, László Pólos, editors, Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992]. Volume 808 of Lecture Notes in Computer Science, pages 131-145, Springer, 1992.
@inproceedings{Nakata92, title = {An Application of Temporal Logic for Representation and Reasoning about Design}, author = {Keiichi Nakata}, year = {1992}, tags = {logic, design}, researchr = {https://researchr.org/publication/Nakata92}, cites = {0}, citedby = {0}, pages = {131-145}, booktitle = {Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992]}, editor = {Michael Masuch and László Pólos}, volume = {808}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58095-6}, }