scientific article; zbMATH DE number 1980918

zbMath1023.68005MaRDI QIDQ4428292

Benedikt Bollig, Philipp Lucas, Martin Leucker

Publication date: 15 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2514/25140068.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Network protocols (68M12)