A LOTOS Simulator in OBJ.

Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi

Browse the full FORTE paper archive.