Complete and Tractable Local Linear Time Temporal Logics over Traces
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

Bharat Adsul, Milind A. Sohoni
Complete and Tractable Local Linear Time Temporal Logics over Traces
ICALP, 2002.

ICALP 2002
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ICALP-2002-AdsulS,
	author        = "Bharat Adsul and Milind A. Sohoni",
	booktitle     = "{Proceedings of the 29th International Colloquium on Automata, Languages and Programming}",
	doi           = "10.1007/3-540-45465-9_79",
	isbn          = "3-540-43864-5",
	pages         = "926--937",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Complete and Tractable Local Linear Time Temporal Logics over Traces}",
	volume        = 2380,
	year          = 2002,
}

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.