Ask Ubuntu
Perissiane's user avatar
Perissiane's user avatar
Perissiane's user avatar
Perissiane
  • Member for 5 years, 1 month
  • Last seen more than 1 year ago
  • International Space Station
Profile Activity
Stats
1
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges

This user has not earned any badges.

Posts

This user hasn’t posted yet.

Top network posts
View all network posts
8
Non-deterministic Büchi vs Rabin: Automaton size for LTL->automaton