Cited By
View all- Saputra BCandra SWijaya FSuryaningrum KSaputri H(2023)Comparative Analysis of Binary and Interpolation Search Algorithms on Integer Data Using C Programming Language2023 International Conference on Information Management and Technology (ICIMTech)10.1109/ICIMTech59029.2023.10277955(340-345)Online publication date: 24-Aug-2023
- Wang YRoohi NWest MViswanathan MDullerud G(2021)Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model ReductionACM Transactions on Embedded Computing Systems10.1145/348338020:6(1-27)Online publication date: 15-Nov-2021