Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths

Source

Lecture Notes In Computer Science; Vol. 2517 archive
Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design table of contents

Pages: 256 - 273

Year of Publication: 2002

ISBN:3-540-00116-6

Authors

Gianfranco Ciardo
Radu Siminiceanu

Publisher

Springer-Verlag London, UK

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 4

Additional Information:

cited by collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 4

	Gianfranco Ciardo , Andrew S. Miner, Implicit data structures for logic and stochastic systems analysis, ACM SIGMETRICS Performance Evaluation Review, v.32 n.4, p.4-9, March 2005
	G. Ciardo , R. L. Jones, III , A. S. Miner , R. I. Siminiceanu, Logic and stochastic modeling with SMART, Performance Evaluation, v.63 n.6, p.578-608, June 2006
	Gianfranco Ciardo , Gerald Lüttgen , Andrew S. Miner, Exploiting interleaving semantics in symbolic state-space generation, Formal Methods in System Design, v.31 n.1, p.63-100, August 2007
	Andrew S. Miner, Saturation for a General Class of Models, IEEE Transactions on Software Engineering, v.32 n.8, p.559-570, August 2006

Collaborative Colleagues:

Gianfranco Ciardo: colleagues

Radu Siminiceanu: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player