Bisimulation for Neighbourhood Structures

2007

Presented at the Conference on Algebra and Coalgebra in Computer Science, Bergen, Norway

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
Editor	T. Mossakowski , U. Montanari
Series	Lecture Notes in Computer Science
Conference	Conference on Algebra and Coalgebra in Computer Science
Organisation	Computer Security
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	Hansen, H., Kupke, C.& Pacuit, E. (2007). Bisimulation for Neighbourhood Structures. In T. Mossakowski & U. Montanari (Eds.), Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007) (pp. 279–293). Springer.

See Also
techReport Bisimulation for Neighbourhood Structures H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit
techReport Bisimulation for Neighbourhood Structures H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit
techReport Bisimulation for Neighbourhood Structures H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit
techReport Bisimulation for Neighbourhood Structures H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

Publication