Weak Bisimulation Approximants

Conference Paper/Proceeding/Abstract 974 views 164 downloads

Will Harwood, Faron Moller, Anton Setzer

Computer Science Logic, Volume: 4207, Start page: 365

Swansea University Author: Anton Setzer

DOI (Published version): 10.1007/11874683_24

Published in:	Computer Science Logic
ISSN:	0302-9743 1611-3349
Published:	2006
Online Access:	Check full text
URI:	https://cronfa.swan.ac.uk/Record/cronfa1733
Tags:	Add Tag No Tags, Be the first to tag this record!

College:	Faculty of Science and Engineering
Start Page:	365