Generality in design and compositional verification using TAV

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Generality in design and compositional verification using TAV

Source

IFIP Transactions; Vol. C-10 archive
Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V table of contents

Pages: 449 - 464

Year of Publication: 1992

ISBN:0-444-89282-6

Authors

Anders Børjesson
Kim Guldstrand Larsen
Arne Skou

Publisher

North-Holland Publishing Co. Amsterdam, The Netherlands, The Netherlands

Bibliometrics

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

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

Boutheina Chetali, Formal Verification of Concurrent Programs Using the Larch Prover, IEEE Transactions on Software Engineering, v.24 n.1, p.46-62, January 1998

Collaborative Colleagues:

Anders Børjesson: colleagues

Kim Guldstrand Larsen: colleagues

Arne Skou: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player