Results 281 to 290 of about 1,525,492 (301)
Some of the next articles are maybe not open access.
Java implementation platform for the integrated state- and event-based specification in PROB
Concurrency Computation Practice and Experience, 2010exaly
From Animation to Data Validation: The ProB Constraint Solver 10 Years On
2014Michael Leuschel +2 more
exaly
Solution of Prob's in No.2 [Continued]
The Analyst, 1880Wm. Woolsey Johnson +2 more
openaire +1 more source

