Methods of forward and backward symbolic modeling of systems specified by basic protocols von Potienko, S.V.

Volltext

Backward transformation of formulas in symbolic modeling: from the result to the source formula von Godlevsky, A.B., Potienko, S.V.

Volltext