← 지금핫 홈

TLA⁺에 연결 가능성 속성을 가질 수 있나요?

댓글

Can we have reachability properties in TLA⁺?

Comments

랍스터스, 한글로 옮겨왔어요

랍스터스에서 원문 보기

실시간 보기에서 반응·댓글 보기

이 페이지는 지금핫 NowHot이 수집한 공개 반응 지표(추천·댓글·보도량)만으로 작성한 자체 편집 콘텐츠입니다. 각 글의 전문은 출처에서 읽을 수 있습니다. ⓒ 페퍼클럽