×

Found 6 Documents (Results 1–6)

A language for describing wireless mobile applications with dynamic establishment of multi-way synchronization channels. (English) Zbl 1064.68520

Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 607-624 (2002).
MSC:  68M14 68M10 68N20
PDFBibTeX XMLCite
Full Text: Link

A decision algorithm for prenex normal form rational Presburger sentences based on combinatorial geometry. (English) Zbl 0960.68175

Calude, C. S. (ed.) et al., Combinatorics, computation & logic. Proceedings of DMTCS ’99 and CATS ’99. Auckland, New Zealand, January 18-21, 1999. Singapore: Springer. Aust. Comput. Sci. Commun. 21, 3, 344-359 (1999).
MSC:  68W05
PDFBibTeX XMLCite

Filter Results by …

Document Type

Volume

Year of Publication

Main Field