Block or report user

Report or block buschko

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. imca

    IMCA is a command-line tool for analysing Markov automata

    C++ 2 3

  2. dftcalc

    This is the old DFTCalc repo from FMT

    C++

  3. imc2ctmdp

    BCG to MRMC translator

    C++

  4. ltsmin

    Forked from utwente-fmt/ltsmin

    The LTSmin model checking toolset

    C

0 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

January - September 2018

buschko has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.