Using temporal logic for modular specification of telephone services - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Johan Blom' in GoogleThis author has not been identified. Look up 'Bengt Jonsson' in GoogleThis author has not been identified. Look up 'Lars Kempe' in Google

runs on WebDSL