ALChecker: A Tool for Checking Mobile Ambients | IEEE Conference Publication | IEEE Xplore