Johan Blom, Bengt Jonsson, Lars Kempe. Using temporal logic for modular specification of telephone services. In Wiet Bouma, Hugo Velthuijsen, editors, Feature Interactions in Telecommunications Systems, May 8-10, 1994, Amsterdam, The Netherlands. pages 197-216, IOS Press, 1994.
@inproceedings{BlomJK94,
title = {Using temporal logic for modular specification of telephone services},
author = {Johan Blom and Bengt Jonsson and Lars Kempe},
year = {1994},
tags = {logic},
researchr = {https://researchr.org/publication/BlomJK94},
cites = {0},
citedby = {0},
pages = {197-216},
booktitle = {Feature Interactions in Telecommunications Systems, May 8-10, 1994, Amsterdam, The Netherlands},
editor = {Wiet Bouma and Hugo Velthuijsen},
publisher = {IOS Press},
isbn = {90-5199-165-7},
}