User contributions for Steve.hostettler
A user with 38 edits. Account created on 4 January 2009.
27 December 2010
- 10:4610:46, 27 December 2010 diff hist +53 m Model checking No edit summary
20 August 2009
- 09:2209:22, 20 August 2009 diff hist −4,141 User:Steve.hostettler ←Blanked the page current
- 09:2209:22, 20 August 2009 diff hist +2 Algebraic Petri net No edit summary
19 August 2009
- 13:5513:55, 19 August 2009 diff hist −107 m Algebraic Petri net No edit summary
- 13:0413:04, 19 August 2009 diff hist +13 m Algebraic Petri net Typos check
- 13:0013:00, 19 August 2009 diff hist +222 m Algebraic Petri net Fix some typos and develop a bit the notion of terms as element of an algebra that models the AADT
6 August 2009
- 10:5710:57, 6 August 2009 diff hist 0 Algebraic Petri net No edit summary
- 10:5610:56, 6 August 2009 diff hist +7 Algebraic Petri net No edit summary
- 10:5510:55, 6 August 2009 diff hist +4,126 N Algebraic Petri net ←Created page with ''''Algebraic Petri Net (APN)''' is an evolution of the well known '''Petri net''' in which instances of '''User Defined Data Types''' called '''Algebraic Abstr...'
4 January 2009
- 17:3217:32, 4 January 2009 diff hist +9 User:Steve.hostettler No edit summary
- 17:3217:32, 4 January 2009 diff hist +179 User:Steve.hostettler No edit summary
- 17:2717:27, 4 January 2009 diff hist +67 User:Steve.hostettler No edit summary
- 17:2617:26, 4 January 2009 diff hist +154 User:Steve.hostettler No edit summary
- 17:1717:17, 4 January 2009 diff hist +454 User:Steve.hostettler No edit summary
- 17:1117:11, 4 January 2009 diff hist −1 User:Steve.hostettler No edit summary
- 17:1017:10, 4 January 2009 diff hist +113 User:Steve.hostettler No edit summary
- 17:0717:07, 4 January 2009 diff hist +69 User:Steve.hostettler No edit summary
- 11:3811:38, 4 January 2009 diff hist +572 User:Steve.hostettler No edit summary
- 11:2011:20, 4 January 2009 diff hist +22 User:Steve.hostettler No edit summary
- 11:1811:18, 4 January 2009 diff hist +487 User:Steve.hostettler No edit summary
- 10:5610:56, 4 January 2009 diff hist +26 User:Steve.hostettler No edit summary
- 10:5110:51, 4 January 2009 diff hist +944 User:Steve.hostettler No edit summary
- 10:2910:29, 4 January 2009 diff hist +113 User:Steve.hostettler No edit summary
- 10:1910:19, 4 January 2009 diff hist +335 User:Steve.hostettler No edit summary
- 10:1410:14, 4 January 2009 diff hist +74 User:Steve.hostettler No edit summary
- 10:0110:01, 4 January 2009 diff hist +12 N User:Steve.hostettler ←Created page with '{{userpage}}'
