On parallel symbolic analysis of large networks and systems | IEEE Conference Publication | IEEE Xplore