The Rabin Index and Chain Automata, with Applications to Automatas and Games
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

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya
The Rabin Index and Chain Automata, with Applications to Automatas and Games
CAV, 1995.

CAV 1995
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{CAV-1995-KrishnanPBV,
	author        = "Sriram C. Krishnan and Anuj Puri and Robert K. Brayton and Pravin Varaiya",
	booktitle     = "{Proceedings of the Seventh International Conference on Computer Aided Verification}",
	doi           = "10.1007/3-540-60045-0_55",
	isbn          = "3-540-60045-0",
	pages         = "253--266",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{The Rabin Index and Chain Automata, with Applications to Automatas and Games}",
	volume        = 939,
	year          = 1995,
}

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.