%0 Conference Paper %1 conf/apn/Vautherin85 %A Vautherin, Jacques %B Applications and Theory in Petri Nets %D 1985 %E Rozenberg, Grzegorz %I Springer %K dblp %P 418-434 %T Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. %U http://dblp.uni-trier.de/db/conf/apn/apn1985.html#Vautherin85 %V 222 %@ 0-387-16480-4

@inproceedings{conf/apn/Vautherin85, added-at = {2017-05-19T00:00:00.000+0200}, author = {Vautherin, Jacques}, biburl = {https://www.bibsonomy.org/bibtex/2c0f79aea6e9a5a8b47e74f2855c4a0f5/dblp}, booktitle = {Applications and Theory in Petri Nets}, crossref = {conf/apn/1985}, editor = {Rozenberg, Grzegorz}, ee = {https://doi.org/10.1007/BFb0016224}, interhash = {c91c570efdd1f9ec21435b3b99e991a8}, intrahash = {c0f79aea6e9a5a8b47e74f2855c4a0f5}, isbn = {0-387-16480-4}, keywords = {dblp}, pages = {418-434}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:42.000+0200}, title = {Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs.}, url = {http://dblp.uni-trier.de/db/conf/apn/apn1985.html#Vautherin85}, volume = 222, year = 1985 }