Sidebar

Main

Internal

Trace:
Trace:

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Both sides next revision
start [2014/11/14 17:29]
jbiernacki [PetriNet2ModelChecker] 		start [2021/09/23 08:51] (current)
Line 1: Line 1:
 ====== Welcome to the FM Wiki====== ====== Welcome to the FM Wiki======
  
-Welcome to the FM Wiki at http://fm.ia.agh.edu.pl. This Wiki is used to keep track of several Research Projects related to Formal Methods that are carried out in [[http://cslab.ia.agh.edu.pl|Department of Applied Computer Science]] at +Welcome to the FM Wiki at http://alvis.kis.agh.edu.pl. This Wiki is used to keep track of several Research Projects related to Formal Methods that are carried out in [[http://www.kis.agh.edu.pl|Department of Applied Computer Science]] at 
 [[http://www.agh.edu.pl|AGH University of Science and Technology]]. The **Formal Methods Research Group** is led by Prof. Marcin Szpyrka.  [[http://www.agh.edu.pl|AGH University of Science and Technology]]. The **Formal Methods Research Group** is led by Prof. Marcin Szpyrka. 
  
© Marcin Szpyrka 2008-2024