Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Automated Symbolic Reachability Analysis with Application to Delta-Notch Signaling Automata
[go: Go Back, main page]


Automated Symbolic Reachability Analysis with Application to Delta-Notch Signaling Automata

Ashish Tiwari

To be presented at HSCC 2003, Prague, Czech Republic, Apr 03--05 2002, © Springer-Verlag.

Abstract

Later.

pdf

BibTeX Entry


@inproceedings{GhoshTiwariTomlin03:HSCC,
	TITLE = "Automated Symbolic Reachability Analysis with Application to Delta-Notch Signaling Automata",
	AUTHOR = {Ghosh, R. and Tiwari, A. and Tomlin, C.},
	BOOKTITLE = {Hybrid Systems: Computation and Control HSCC},
	EDITOR = "Maler, O. and Pnueli, A.",
	PAGES = {233--248},
	PUBLISHER = {Springer},
	SERIES = {LNCS},
	VOLUME = "2623",
	MONTH = apr,
	YEAR = 2003
}


Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page