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.
No references recorded for this publication.
No citations of this publication recorded.