Formal specification and use case generation for a mobile telephony system

• Authors:

• Randall Tuok;Luigi Logrippo

• Affiliations:

• -;-

• Venue:
• Computer Networks and ISDN Systems
• Year:
• 1998