Stem bbs$ (all stems)

3 papers:

CAV-2015-MajumdarW #bound #model checking #named #source code

Bbs: A Phase-Bounded Model Checker for Asynchronous Programs (RM, ZW), pp. 496–503.

ICEIS-v4-2003-AbeSO #named

Gli-Bbs: A Groupware Based on Geographical Location Information for Field Workers (AA, TS, NO), pp. 3–9.

HCI-SEC-1997-Niwano #named #navigation #towards

HyperBBS: Towards Smooth Navigation (EN), pp. 739–742.