Peleska, Jan; Krafczyk, Niklas; Haxthausen, Anne E.; Pinger, Ralf Efficient data validation for geographical interlocking systems. (English) Zbl 1522.68341 Formal Asp. Comput. 33, No. 6, 925-955 (2021). MSC: 68Q60 03B44 68M14 90B20 PDFBibTeX XMLCite \textit{J. Peleska} et al., Formal Asp. Comput. 33, No. 6, 925--955 (2021; Zbl 1522.68341) Full Text: DOI
Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz From generic partition refinement to weighted tree automata minimization. (English) Zbl 1519.68126 Formal Asp. Comput. 33, No. 4-5, 695-727 (2021). MSC: 68Q45 60J20 68Q85 68Q87 68W40 PDFBibTeX XMLCite \textit{T. Wißmann} et al., Formal Asp. Comput. 33, No. 4--5, 695--727 (2021; Zbl 1519.68126) Full Text: DOI arXiv
Sampath, Prahladavaradan An elementary theory of product-line variations. (English) Zbl 1342.68099 Formal Asp. Comput. 26, No. 4, 695-727 (2014). MSC: 68N30 68T30 PDFBibTeX XMLCite \textit{P. Sampath}, Formal Asp. Comput. 26, No. 4, 695--727 (2014; Zbl 1342.68099) Full Text: DOI
Sitaraman, Murali Impact of performance considerations on formal specification design. (English) Zbl 0862.68077 Formal Asp. Comput. 8, No. 6, 716-736 (1996). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. Sitaraman}, Formal Asp. Comput. 8, No. 6, 716--736 (1996; Zbl 0862.68077) Full Text: DOI
Wray, J. P.; Stewart, A. Correct translation of data parallel assignment onto array processors. (English) Zbl 0820.68032 Formal Asp. Comput. 6, No. 4, 417-439 (1994). MSC: 68N20 68Q10 68Q05 PDFBibTeX XMLCite \textit{J. P. Wray} and \textit{A. Stewart}, Formal Asp. Comput. 6, No. 4, 417--439 (1994; Zbl 0820.68032) Full Text: DOI