User contributions for 103.24.0.0/16
Results for 103.24.0.0/16 block log
2 September 2014
- 12:4512:45, 2 September 2014 diff hist +610 Sliding mode control 103.24.188.242 talk →Introduction current
6 August 2014
- 04:4404:44, 6 August 2014 diff hist +5 Linear temporal logic to Büchi automaton 103.24.77.56 talk →Gerth et al. algorithm: During Step 2. LGBA construction, the label of each state are atomic propositions, thus in the statement a ⊆ {p ∈ ''P'' | ¬p ∉ ''Now''(q) } } , p should be also an atomic proposition. current
8 December 2013
- 10:5610:56, 8 December 2013 diff hist +6,998 N Template:Thermodynamics 103.24.20.36 talk No edit summary