PDF:
Szaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére
| Title | Szaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Darvas, D. |
| Conference Name | XVII. Fiatal Műszakiak Tudományos Ülésszaka |
| Publisher | Erdélyi Múzeum-Egyesület Műszaki Tudományok Szakosztálya |
| Conference Location | Cluj Napoca, Romania |
