×

Found 2 Documents (Results 1–2)

A linear-time-branching-time spectrum of behavioral specification theories. (English) Zbl 1433.68213

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, 49-61 (2017).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Main Field

Software