Ιστορικό αλλαγών για τη σελίδα «Έλεγχος μοντέλων»

CC-BY-SA
Μετάφραση
Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Model checking της Αγγλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 4.0. (ιστορικό/συντάκτες).

Για κάθε έκδοση που εμφανίζεται παρακάτω, πατήστε στην ημερομηνία της για να την δείτε.


(παρόν) = διαφορά από την παρούσα έκδοση, (προηγ.) = διαφορά από την προηγούμενη έκδοση,  μ = μικρή αλλαγή, → = επεξεργασία ενότητας, ← = αυτόματη σύνοψη επεξεργασίας

28 Ιανουαρίου 2024

31 Μαρτίου 2023

22 Οκτωβρίου 2022

25 Αυγούστου 2021

15 Νοεμβρίου 2020

14 Φεβρουαρίου 2020

24 Οκτωβρίου 2019

21 Οκτωβρίου 2019

6 Οκτωβρίου 2019

25 Σεπτεμβρίου 2019

6 Μαΐου 2017

4 Μαΐου 2016

21 Μαρτίου 2013

15 Ιουλίου 2011

17 Ιουνίου 2011

2 Μαΐου 2011

30 Απριλίου 2011

29 Ιανουαρίου 2011

26 Νοεμβρίου 2010

22 Οκτωβρίου 2010

1 Οκτωβρίου 2010

2 Σεπτεμβρίου 2010

19 Ιουλίου 2010