scientific article; zbMATH DE number 1746565

zbMATH Open1005.68032MaRDI QIDQ4530734FDOQ4530734

Authors: A. A. Moskvitin, Maria K. Timofeeva 

Publication date: 28 May 2002

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1979639
• scientific article; zbMATH DE number 895659
• scientific article; zbMATH DE number 2209438
• Towards verification of dialogue protocols: a mathematical model
• Logical analysis of texts in a natural language and a sense representation

zbMATH Keywords

task specification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530734)