Logics and models of concurrent systems

Additional Metadata
Publisher	Springer-Verlag
Editor	K.R. Apt (Krzysztof)
Series	NATO ASI series. Serie F: computer and systems sciences
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Logics and models of concurrent systems. (1985). Logics and models of concurrent systems. In K. Apt (Ed.), NATO ASI series. Serie F: computer and systems sciences (13). Springer-Verlag.

See Also
bookChapter Correctness proofs of distributed termination algorithms K.R. Apt (Krzysztof)
bookChapter Correctness proofs of distributed termination algorithms K.R. Apt (Krzysztof)

Publication