Extracting Timed Automata from Java Methods
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Giovanni Liva, Muhammad Taimoor Khan 0001, Martin Pinzger 0001
Extracting Timed Automata from Java Methods
SCAM, 2017.

SCAM 2017
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{SCAM-2017-LivaKP,
	author        = "Giovanni Liva and Muhammad Taimoor Khan 0001 and Martin Pinzger 0001",
	booktitle     = "{Proceedings of the 17th International Working Conference on Source Code Analysis and Manipulation}",
	doi           = "10.1109/SCAM.2017.9",
	isbn          = "978-1-5386-3238-3",
	pages         = "91--100",
	publisher     = "{IEEE Computer Society}",
	title         = "{Extracting Timed Automata from Java Methods}",
	year          = 2017,
}

Tags:



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.