BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
tptl (3)
word (3)
data (3)
time (3)
monoton (2)

Stem mtl$ (all stems)

6 papers:

DLTDLT-2015-FengLQ #word
Path Checking for MTL and TPTL over Data Words (SF, ML, KQ), pp. 326–339.
CAVCAV-2015-AkazakiH #hybrid #robust
Time Robustness in MTL and Expressivity in Hybrid System Falsification (TA, IH), pp. 356–374.
AFLAFL-2014-CarapelleFGQ13 #game studies #word
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 174–187.
LATALATA-2014-CarapelleFGQ #satisfiability #word
Satisfiability for MTL and TPTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 248–259.
ITiCSEITiCSE-2011-MselleM #concept #education #memory management #programming
The impact of memory transfer language (MTL) in reducing misconceptions in teaching programming to novices (LJM, RM), p. 388.
FMFM-2008-FuriaPR #approximate #automation #specification #verification
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation (CAF, MP, MR), pp. 132–147.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.