Cited By
View all- Kirchberg MSchewe KZhao J(2009)Using abstract state machines for the design of multi-level transaction schedulersRigorous Methods for Software Construction and Analysis10.5555/2172244.2172249(65-77)Online publication date: 1-Jan-2009