×

Found 10 Documents (Results 1–10)

Hardness of deriving invertible sequences from finite state machines. (English) Zbl 1444.68076

Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 147-160 (2017).
MSC:  68Q17 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Minimizing coordination channels in distributed testing. (English) Zbl 1225.68042

Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 451-466 (2006).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software