{"shas":[["855e674261e9ad67c4199128505298d397b7ea3f","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Define maximum transition relation","Henning Günther"]],"repo":"hguenther/master-thesis","actor":"hguenther","ref":"refs/heads/master","size":1,"head":"855e674261e9ad67c4199128505298d397b7ea3f","actor_gravatar":"8307c10ba82e5fcdbafd446fc259c84f","push_id":29468761}